( en | de | ru )

 

Disambiguierung von "Levesque, Hector"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Foundations for the Situation Calculus

, , und . Electronic Transactions on Artificial Intelligence, (1991)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Maximilien Levesque

Héctor Calzado

Hector Calle

Gabriele Hector

Andreas Hector

 

Weitere Publikationen von Autoren mit dem selben Namen

Foundations for the Situation Calculus, , und . Electronic Transactions on Artificial Intelligence, (1991)On Team Formation, , und . Contemporary Action Theory. Synthese, Seite 87--114. Kluwer Academic Publishers, (1997)A Logical Theory of Localization, und . Studia Logica, (2015)Knowledge Representation and Reasoning, und . Morgan Kaufmann, (2004)Foundations for the situation calculus, , und . Linkoping Electronic Articles in Computer and Information Science, (1998)Belief and Introspection.. Artificial and Mathematical Theory of Computation, Seite 247-260. Academic Press / Elsevier, (1991)Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus., , und . IJCAI, Seite 1221-1226. Morgan Kaufmann, (1997)An Overview of Knowledge Representation., und . On Conceptual Modelling (Intervale), Seite 3-17. Springer, (1982)A View Of Knowledge Representation.. On Knowledge Base Management Systems (Islamorada), Seite 63-69. Springer, (1985)A Fundamental Tradeoff in Knowledge Reresentation and Reasoning (Revised Version), und . Readings in Knowledge Reresentation, (1985)