( en | de | ru )

 

Disambiguierung von "Schlipf, John S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SBSAT: a State-Based, BDD-Based Satisfiability Solver.

, , , , , , und . SAT, Volume 2919 von Lecture Notes in Computer Science, Seite 398-410. Springer, (2003)

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.

Josef Schlipf

Josef Schlipf

Irene Schlipf

Irene Schlipf

Josef Schlipf

 

Weitere Publikationen von Autoren mit dem selben Namen

Complexity of First Order ID-Logic., und . ISAIM, (2008)Unfounded Sets and Well-Founded Semantics for General Logic Programs., , und . PODS, Seite 221-230. ACM, (1988)How Uncomputable is General Circumscription? (Extended Abstract). LICS, Seite 92-95. IEEE Computer Society, (1986)When is Closed World Reasoning Tractable?. ISMIS, Seite 485-494. North-Holland/Elsevier, (1988)Complexity and Undecidability Results for Logic Programming.. Ann. Math. Artif. Intell., 15 (3-4): 257-288 (1995)Formalizing a Logic for Logic Programming.. Ann. Math. Artif. Intell., 5 (2-4): 279-302 (1992)Affordable Classes of Normal Logic Programs., und . LPNMR, Volume 1265 von Lecture Notes in Computer Science, Seite 92-111. Springer, (1997)The Well-Founded Semantics for General Logic Programs, , und . Journal of the ACM, 38 (3): 620--650 (1991)An Introduction to Recursively Saturated and Resplendent Models., und . J. Symb. Log., 41 (2): 531-536 (1976)Representing Epistemic Intervals in Logic Programs.. LPNMR, Seite 133-147. The MIT Press, (1991)