The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "John S. Schlipf" ( http://dblp.L3S.de/Authors/John_S._Schlipf )

URL (Homepage):  http://www.cs.uc.edu/~schlipf/  Author page on DBLP  Author page in RDF  Community of John S. Schlipf in ASPL-2

Publication years (Num. hits)
1976-1995 (19) 1997-2014 (11)
Publication types (Num. hits)
article(17) book(1) inproceedings(11) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords

Results
Found 31 publication records. Showing 30 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Krishnendu Ghosh, John S. Schlipf Formal modeling of a system of chemical reactions under uncertainty. Search on Bibsonomy J. Bioinformatics and Computational Biology The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1John S. Schlipf, Marc Denecker Complexity of First Order ID-Logic. Search on Bibsonomy ISAIM The full citation details ... 2008 DBLP  BibTeX  RDF
1Chitta Baral, Gerhard Brewka, John S. Schlipf (eds.) Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sean A. Weaver, John V. Franco, John S. Schlipf Extending Existential Quantification in Conjunctions of BDDs. Search on Bibsonomy JSAT The full citation details ... 2006 DBLP  BibTeX  RDF
1Gary Haggard, John S. Schlipf, Sue Whitesides Discrete mathematics for computer science. Search on Bibsonomy 2006   RDF
1John V. Franco, Michal Kouril, John S. Schlipf, Sean A. Weaver, Michael R. Dransfield, W. Mark Vanfleet Function-Complete Lookahead in Support of Efficient SAT Search Heuristics. Search on Bibsonomy J. UCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jeffrey Ward, John S. Schlipf Answer Set Programming with Clause Learning. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1John V. Franco, Michal Kouril, John S. Schlipf, Jeffrey Ward, Sean A. Weaver, Michael R. Dransfield, W. Mark Vanfleet SBSAT: a State-Based, BDD-Based Satisfiability Solver. Search on Bibsonomy SAT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Chris Giannella, John S. Schlipf An Empirical Study of the 4-valued Kripke-Kleene and 4-valued Well-Founded Semantics in Random Propositional Logic Programs. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1John V. Franco, Judy Goldsmith, John S. Schlipf, Ewald Speckenmeyer, Ramjee P. Swaminathan An Algorithm for the Class of Pure Implicational Formulas. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1J. Seitzer, John S. Schlipf Affordable Classes of Normal Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1John S. Schlipf, Fred S. Annexstein, John V. Franco, Ramjee P. Swaminathan On Finding Solutions for Extended Horn Formulas. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1John S. Schlipf Complexity and Undecidability Results for Logic Programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Howard A. Blair, V. Wiktor Marek, John S. Schlipf The Expressiveness of Locally Stratified Programs. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1John S. Schlipf The Expressive Powers of the Logic Programming Semantics. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Kenneth A. Berman, John V. Franco, John S. Schlipf Unique Satisfiability of Horn Sets Can Be Solved in Nearly Linear Time. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Kenneth A. Berman, John S. Schlipf, John V. Franco Computing Well-founded Semantics Faster. Search on Bibsonomy LPNMR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Allen Van Gelder, John S. Schlipf Commonsense Axiomatizations for Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1John S. Schlipf Formalizing a Logic for Logic Programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1John S. Schlipf A Survey of Complexity and Undecidability Results in Logic Programming. Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
1Allen Van Gelder, Kenneth A. Ross, John S. Schlipf The Well-Founded Semantics for General Logic Programs. Search on Bibsonomy J. ACM The full citation details ... 1991 DBLP  DOI  BibTeX  RDF unfounded sets, three-valued logic, stable models, fixpoints, well-founded models, negation as failure
1John S. Schlipf Representing Epistemic Intervals in Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 1991 DBLP  BibTeX  RDF
1John S. Schlipf The Expressive Powers of the Logic Programming Semantics. Search on Bibsonomy PODS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1John S. Schlipf When is Closed World Reasoning Tractable? Search on Bibsonomy ISMIS The full citation details ... 1988 DBLP  BibTeX  RDF
1Allen Van Gelder, Kenneth A. Ross, John S. Schlipf Unfounded Sets and Well-Founded Semantics for General Logic Programs. Search on Bibsonomy PODS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1John S. Schlipf Decidability and definability with circumscription. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1John S. Schlipf How Uncomputable is General Circumscription? (Extended Abstract) Search on Bibsonomy LICS The full citation details ... 1986 DBLP  BibTeX  RDF
1John S. Schlipf Toward Model Theory Through Recursive Saturation. Search on Bibsonomy J. Symb. Log. The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
1John S. Schlipf Ordinal Spectra of First-Order Theories. Search on Bibsonomy J. Symb. Log. The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
1Jon Barwise, John S. Schlipf An Introduction to Recursively Saturated and Resplendent Models. Search on Bibsonomy J. Symb. Log. The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #30 of 30 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license