( en | de | ru )

 

Disambiguierung von "Lifschitz, Vladimir"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Infinitary Equilibrium Logic and Strong Equivalence.

, , , und . LPNMR, Volume 9345 von Lecture Notes in Computer Science, Seite 398-410. Springer, (2015)

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 Dyakonov

Vladimir Milutinovi

Vladimir Spokoiny

 

Weitere Publikationen von Autoren mit dem selben Namen

Twelve Definitions of a Stable Model.. ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 37-51. Springer, (2008)On the Declarative Semantics of Logic Programs with Negation.. Foundations of Deductive Databases and Logic Programming., Morgan Kaufmann, (1988)The Worst and the Most Probable Performance of a Class of Set-Covering Algorithms., und . SIAM J. Comput., 12 (2): 329-346 (1983)Weight Constraints as Nested Expressions, und . CoRR, (2003)On equivalence of infinitary formulas under the stable model semantics., , und . Theory Pract. Log. Program., 15 (1): 18-34 (2015)Automated Reasoning About Actions: A Logic Programming Approach., , und . ILPS, Seite 641. MIT Press, (1993)What are the Limitations of the Situation Calculus?, , und . Automated Reasoning: Essays in Honor of Woody Bledsoe, Seite 167-180. Kluwer Academic Publishers, (1991)Logic Programs with Classical Negation., und . ICLP, Seite 579-597. MIT Press, (1990)Achievements in answer set programming.. Theory Pract. Log. Program., 17 (5-6): 961-973 (2017)Two-Valued Logic Programs.. ICLP (Technical Communications), Volume 17 von LIPIcs, Seite 259-266. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)