From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Foundations for the situation calculus

H. Levesque, F. Pirri, и R. Reiter. Linkoping Electronic Articles in Computer and Information Science, (1998)

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.

On Team FormationP. Cohen, H. Levesque, и I. Smith. Contemporary Action Theory. Synthese, стр. 87--114. Kluwer Academic Publishers, (1997)Foundations for the Situation CalculusH. Levesque, F. Pirri, и R. Reiter. Electronic Transactions on Artificial Intelligence, (1991)A Logical Theory of LocalizationV. Belle, и H. Levesque. Studia Logica, (2015)Knowledge Representation and ReasoningR. Brachman, и H. Levesque. Morgan Kaufmann, (2004)Foundations for the situation calculusH. Levesque, F. Pirri, и R. Reiter. Linkoping Electronic Articles in Computer and Information Science, (1998)Belief and Introspection.H. Levesque. Artificial and Mathematical Theory of Computation, стр. 247-260. Academic Press / Elsevier, (1991)An Overview of Knowledge Representation.J. Mylopoulos, и H. Levesque. On Conceptual Modelling (Intervale), стр. 3-17. Springer, (1982)A View Of Knowledge Representation.H. Levesque. On Knowledge Base Management Systems (Islamorada), стр. 63-69. Springer, (1985)Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus.G. Giacomo, Y. Lespérance, и H. Levesque. IJCAI, стр. 1221-1226. Morgan Kaufmann, (1997)A Fundamental Tradeoff in Knowledge Reresentation and Reasoning (Revised Version)H. Levesque, и R. Brachman. Readings in Knowledge Reresentation, (1985)