BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × Italy
1 × Latvia
3 × USA
Collaborated with:
A.t.Teije J.v.d.Elst M.Thonnat A.Bundy A.Smaill W.Beek S.Schlobach P.Groot A.Verberne G.Schreiber C.Horn A.Ireland
Talks about:
approxim (4) softwar (2) comput (2) compon (2) model (2) reus (2) use (2) constraint (1) structur (1) function (1)

Person: Frank van Harmelen

DBLP DBLP: Harmelen:Frank_van

Contributed to:

KR 20142014
KR 20042004
KR 20002000
KR 19961996
SEKE 19951995
LOPSTR/META 19941994
SEKE 19941994
CADE 19901990

Wrote 9 papers:

KR-2014-BeekSH #semantics #set #web
Rough Set Semantics for Identity on the Web (WB, SS, FvH).
KR-2004-GrootTH #analysis #approximate #case study #classification #problem #towards
Towards a Structured Analysis of Approximate Problem Solving: A Case Study in Classification (PG, AtT, FvH), pp. 399–406.
KR-2000-VerberneHT #approximate #constraints #reasoning #using
Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation (AV, FvH, AtT), pp. 323–332.
KR-1996-TeijeH #approximate #using
Computing Approximate Diagnoses By Using Approximate Entailment (AtT, FvH), pp. 256–265.
SEKE-1995-ElstTH #component #modelling #reuse
Modelling software components for reuse (JvdE, MT, FvH), pp. 350–357.
LOPSTR-1994-Harmelen #cost analysis
A Model of Costs and Benefits of Meta-Level Computation (FvH), pp. 248–261.
SEKE-1994-ElstHST #component #functional #reuse #specification
A functional specification of reusing software components (JvdE, FvH, GS, MT), pp. 374–381.
The Oyster-Clam System (AB, FvH, CH, AS), pp. 647–648.
CADE-1990-BundyHSI #induction #proving
Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs (AB, FvH, AS, AI), pp. 132–146.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.