( en | de | ru )

 

Disambiguation of "Bundy, Alan"

Author of the publication

copydeleteadd this publication to your clipboard
Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing.

, , , , , , , , , and 9 other author(s). Advances in Web Semantics I, volume 4891 of Lecture Notes in Computer Science, Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Franz Bundy

Bogáta Dóra Bundy

Safwat Alani

Maia Alandjiyska

Yilmaz Alan

 

Other publications of authors with the same name

European collaboration on automated reasoning.. AI Commun., 27 (1): 25-35 (2014)The Use of Proof Plans in Formal Methods.. DISCO, volume 429 of Lecture Notes in Computer Science, page 151-153. Springer, (1990)Raising the Standards of AI Products., and . IJCAI, page 1289-1294. Morgan Kaufmann, (1985)Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic., and . Calculemus/MKM, volume 4573 of Lecture Notes in Computer Science, page 80-93. Springer, (2007)Towards Ontology Evolution in Physics., and . WoLLIC, volume 5110 of Lecture Notes in Computer Science, page 98-110. Springer, (2008)A Critique of Proof Planning.. Computational Logic: Logic Programming and Beyond, volume 2408 of Lecture Notes in Computer Science, page 160-177. Springer, (2002)Using Animation in Diagrammatic Theorem Proving., , , and . Diagrams, volume 2317 of Lecture Notes in Computer Science, page 46-60. Springer, (2002)Experiments in Automating Hardware Verification Using Inductive Proof Planning., , , and . FMCAD, volume 1166 of Lecture Notes in Computer Science, page 94-108. Springer, (1996)Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation., and . CADE, volume 87 of Lecture Notes in Computer Science, page 24-38. Springer, (1980)Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs., , and . CADE, volume 607 of Lecture Notes in Computer Science, page 310-324. Springer, (1992)