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

Generating Hard Satisfiability Problems., , and . Artif. Intell., 81 (1-2): 17-29 (1996)Iterated belief change in the situation calculus., , , and . Artif. Intell., 175 (1): 165-192 (2011)In Memory of Ray Reiter (1939-2002)., , and . AI Magazine, 23 (4): 93 (2002)A Fundamental Tradeoff in Knowledge Reresentation and Reasoning (Revised Version), and . Readings in Knowledge Reresentation, (1985)The Tractability of Path-Based Inheritance., and . Principles of Semantic Networks, Morgan Kaufmann, (1991)Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus., , and . IJCAI, page 1221-1226. Morgan Kaufmann, (1997)Belief and Introspection.. Artificial and Mathematical Theory of Computation, page 247-260. Academic Press / Elsevier, (1991)An Overview of Knowledge Representation., and . On Conceptual Modelling (Intervale), page 3-17. Springer, (1982)A View Of Knowledge Representation.. On Knowledge Base Management Systems (Islamorada), page 63-69. Springer, (1985)Incorporating Action Models into the Situation Calculus., and . Johan van Benthem on Logic and Information Dynamics, Springer, (2014)