Author of the publication

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.

 

Other publications of authors with the same name

Modal logics of higher-order probability., and . UAI, page 133-148. North-Holland, (1988)Automatic Generation of Implied Constraints: Project Description., and . ARW, volume 32 of CEUR Workshop Proceedings, CEUR-WS.org, (2000)A Constraint Logic Approach to Modal Deduction., and . JELIA, volume 478 of Lecture Notes in Computer Science, page 234-250. Springer, (1990)A General Framework for Modal Deduction., and . KR, page 196-207. Morgan Kaufmann, (1991)The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning.. Artif. Intell., 49 (1-3): 161-198 (1991)Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract)., , , , , and . IJCAI, page 6833-6838. ijcai.org, (2023)Cautious Induction in Inductive Logic Programming., and . ILP, volume 1297 of Lecture Notes in Computer Science, page 45-60. Springer, (1997)Generalization with Taxonomic Information., and . AAAI, page 755-761. AAAI Press / The MIT Press, (1990)Using Model Theory to Specify AI Programs.. IJCAI, page 148-154. Morgan Kaufmann, (1985)Solving Non-Boolean Satisfiability Problems with Stochastic Local Search., and . IJCAI, page 282-290. Morgan Kaufmann, (2001)