Frank van Harmelen

Bibliography

Bundy, Alan, Stevens, Andrew, van Harmelen, Frank, Ireland, Andrew and Smail, Alan. 1993. “Rippling: A Heuristic for Guiding Inductive Proofs.” Artificial Intelligence 62(2): 185–253.
van Harmelen, Frank. 1994. “A Model of Costs and Benefits of Meta-Level Computation.” in Logic Programming Synthesis and Transformation, Meta-Programming in Logic: Fourth International Workshops, LOBSTR’94 andMETA’94, Pisa, Italy, edited by Laurent Fribourg and Franco Turini, pp. 248–261. Berlin: Springer.
van Harmelen, Frank and Bundy, Alan. 1988. “Explanation-Based Generalisation=Partial Evaluation.” Artificial Intelligence 36(3): 401–412.
ten Teije, Annette and van Harmelen, Frank. 1996. “Computing Approximate Diagnoses by Using Approximate Entailment.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 256–265. San Francisco, California: Morgan Kaufmann Publishers.
Verbayne, Alan, van Harmelen, Frank and ten Teije, Annette. 2000. “Anytime Diagnostic Reasoning Using Approximate Boolean Constraint Propagation.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 323–332. San Francisco, California: Morgan Kaufmann Publishers.