John S. Schlipf

From MaRDI portal
Person:579239

Available identifiers

zbMath Open schlipf.john-stewartMaRDI QIDQ579239

List of research outcomes





PublicationDate of PublicationType
Computing the well-founded semantics faster2022-08-30Paper
https://portal.mardi4nfdi.de/entity/Q34671522016-01-26Paper
Theory and Applications of Satisfiability Testing2009-07-24Paper
https://portal.mardi4nfdi.de/entity/Q35070342008-06-18Paper
Logic Programming and Nonmonotonic Reasoning2007-11-07Paper
An algorithm for the class of pure implicational formulas2000-01-17Paper
Formalizing a logic for logic programming1997-05-13Paper
Complexity and undecidability results for logic programming1997-03-25Paper
On finding solutions for extended Horn formulas1997-02-28Paper
The expressiveness of locally stratified programs1997-02-03Paper
https://portal.mardi4nfdi.de/entity/Q48787711996-10-07Paper
The expressive powers of the logic programming semantics1995-10-25Paper
Unique satisfiability of Horn sets can be solved in nearly linear time1995-09-06Paper
The well-founded semantics for general logic programs1994-11-13Paper
Commonsense axiomatizations for logic programs1994-01-13Paper
Decidability and definability with circumscription1987-01-01Paper
Generating subsets of order statistics with applications to trimmed means and means of trimmings1986-01-01Paper
Who's being swindled?: a case for enlightened naivete1986-01-01Paper
Recursively Saturated Models of Set Theory1980-01-01Paper
Toward model theory through recursive saturation1978-01-01Paper
Ordinal spectra of first-order theories1978-01-01Paper
A Generalized Kleene-Moschovakis Theorem1978-01-01Paper
A guide to the identification of admissible sets above structures1977-01-01Paper
An introduction to recursively saturated and resplendent models1976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41109951975-01-01Paper

Research outcomes over time

This page was built for person: John S. Schlipf