From post

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.

 

Другие публикации лиц с тем же именем

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