( en | de | ru )

 

Disambiguierung von "Lifschitz, Vladimir"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Semantics of Variables in Action Descriptions.

, und . AAAI, Seite 1025-1030. AAAI Press, (2007)

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.

Ilja Lifschitz

Scholom Lifschitz

Vladimir Legradi

Vladimir Spasitsch

Vladimir Oreskovic

 

Weitere Publikationen von Autoren mit dem selben Namen

What are the Limitations of the Situation Calculus?, , und . Automated Reasoning: Essays in Honor of Woody Bledsoe, Seite 167-180. Kluwer Academic Publishers, (1991)Loop Checking and the Wll-Founded Semantics., , , und . LPNMR, Volume 928 von Lecture Notes in Computer Science, Seite 127-142. Springer, (1995)On Heuer's Procedure for Verifying Strong Equivalence., und . JELIA, Volume 14281 von Lecture Notes in Computer Science, Seite 253-261. Springer, (2023)Situation Calculus and Causal Logic.. KR, Seite 536-546. Morgan Kaufmann, (1998)Missionaries and Cannibals in the Causal Calculator.. KR, Seite 85-96. Morgan Kaufmann, (2000)Loop Formulas for Disjunctive Logic Programs., und . ICLP, Volume 2916 von Lecture Notes in Computer Science, Seite 451-465. Springer, (2003)An Action Language Based on Causal Explanation: Preliminary Report., und . AAAI/IAAI, Seite 623-630. AAAI Press / The MIT Press, (1998)Answer Set Planning (Abstract).. LPNMR, Volume 1730 von Lecture Notes in Computer Science, Seite 373-374. Springer, (1999)On the Declarative Semantics of Logic Programs with Negation.. Foundations of Deductive Databases and Logic Programming., Morgan Kaufmann, (1988)Twelve Definitions of a Stable Model.. ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 37-51. Springer, (2008)