( en | de | ru )

 

Disambiguierung von "Levesque, Hector J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Iterated belief change in the situation calculus.

, , , und . Artif. Intell., 175 (1): 165-192 (2011)

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

Luitgard Hector

 

Weitere Publikationen von Autoren mit dem selben Namen

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