( en | de | ru )

 

Disambiguierung von "Levesque, Hector J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Thinking as Computation: A First Course

. MIT Press, Cambridge, MA, (2012)
DOI: 10.7551/mitpress/9780262016995.001.0001

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

Gabriele Hector

Héctor Calzado

Hector Calle

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)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)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)Generating Hard Satisfiability Problems., , und . Artif. Intell., 81 (1-2): 17-29 (1996)The Tractability of Path-Based Inheritance., und . Principles of Semantic Networks, Morgan Kaufmann, (1991)In Memory of Ray Reiter (1939-2002)., , und . AI Magazine, 23 (4): 93 (2002)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)