dblp.uni-trier.dewww.uni-trier.de

John S. Schlipf

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2007
26 Chitta Baral, Gerhard Brewka, John S. Schlipf: Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings Springer 2007
2006
25EESean Weaver, John V. Franco, John S. Schlipf: Extending Existential Quantification in Conjunctions of BDDs. JSAT 1(2): 89-110 (2006)
2004
24EEJeffrey Ward, John S. Schlipf: Answer Set Programming with Clause Learning. LPNMR 2004: 302-313
23EEJohn V. Franco, Michal Kouril, John S. Schlipf, Sean Weaver, Michael Dransfield, W. Mark Vanfleet: Function-Complete Lookahead in Support of Efficient SAT Search Heuristics. J. UCS 10(12): 1655-1695 (2004)
2003
22EEJohn V. Franco, Michal Kouril, John S. Schlipf, Jeffrey Ward, Sean Weaver, Michael Dransfield, W. Mark Vanfleet: SBSAT: a State-Based, BDD-Based Satisfiability Solver. SAT 2003: 398-410
1999
21 Chris Giannella, John S. Schlipf: An Empirical Study of the 4-valued Kripke-Kleene and 4-valued Well-Founded Semantics in Random Propositional Logic Programs. Ann. Math. Artif. Intell. 25(3-4): 275-309 (1999)
20EEJohn V. Franco, Judy Goldsmith, John S. Schlipf, Ewald Speckenmeyer, Ramjee P. Swaminathan: An Algorithm for the Class of Pure Implicational Formulas. Discrete Applied Mathematics 96-97: 89-106 (1999)
1997
19 J. Seitzer, John S. Schlipf: Affordable Classes of Normal Logic Programs. LPNMR 1997: 92-111
1995
18 Kenneth A. Berman, John S. Schlipf, John V. Franco: Computing Well-founded Semantics Faster. LPNMR 1995: 113-126
17 Howard A. Blair, V. Wiktor Marek, John S. Schlipf: The Expressiveness of Locally Stratified Programs. Ann. Math. Artif. Intell. 15(2): 209-229 (1995)
16 John S. Schlipf: Complexity and Undecidability Results for Logic Programming. Ann. Math. Artif. Intell. 15(3-4): 257-288 (1995)
15EEKenneth A. Berman, John V. Franco, John S. Schlipf: Unique Satisfiability of Horn Sets Can Be Solved in Nearly Linear Time. Discrete Applied Mathematics 60(1-3): 77-91 (1995)
14EEJohn S. Schlipf, Fred S. Annexstein, John V. Franco, Ramjee P. Swaminathan: On Finding Solutions for Extended Horn Formulas. Inf. Process. Lett. 54(3): 133-137 (1995)
13 John S. Schlipf: The Expressive Powers of the Logic Programming Semantics. J. Comput. Syst. Sci. 51(1): 64-86 (1995)
1993
12 Allen Van Gelder, John S. Schlipf: Commonsense Axiomatizations for Logic Programs. J. Log. Program. 17(2/3&4): 161-195 (1993)
1992
11 John S. Schlipf: A Survey of Complexity and Undecidability Results in Logic Programming. Structural Complexity and Recursion-theoretic methods in Logic-Programming 1992: 143-164
10 John S. Schlipf: Formalizing a Logic for Logic Programming. Ann. Math. Artif. Intell. 5(2-4): 279-302 (1992)
1991
9 John S. Schlipf: Representing Epistemic Intervals in Logic Programs. LPNMR 1991: 133-147
8EEAllen Van Gelder, Kenneth A. Ross, John S. Schlipf: The Well-Founded Semantics for General Logic Programs. J. ACM 38(3): 620-650 (1991)
1990
7EEJohn S. Schlipf: The Expressive Powers of the Logic Programming Semantics. PODS 1990: 196-204
1988
6 John S. Schlipf: When is Closed World Reasoning Tractable? ISMIS 1988: 485-494
5EEAllen Van Gelder, Kenneth A. Ross, John S. Schlipf: Unfounded Sets and Well-Founded Semantics for General Logic Programs. PODS 1988: 221-230
1986
4 John S. Schlipf: How Uncomputable is General Circumscription? (Extended Abstract) LICS 1986: 92-95
1978
3 John S. Schlipf: Toward Model Theory Through Recursive Saturation. J. Symb. Log. 43(2): 183-206 (1978)
1977
2 John S. Schlipf: Ordinal Spectra of First-Order Theories. J. Symb. Log. 42(4): 492-505 (1977)
1976
1 Jon Barwise, John S. Schlipf: An Introduction to Recursively Saturated and Resplendent Models. J. Symb. Log. 41(2): 531-536 (1976)

Coauthor Index

1Fred S. Annexstein [14]
2Chitta Baral [26]
3K. Jon Barwise (Jon Barwise) [1]
4Kenneth A. Berman [15] [18]
5Howard A. Blair [17]
6Gerhard Brewka [26]
7Michael Dransfield [22] [23]
8John V. Franco [14] [15] [18] [20] [22] [23] [25]
9Allen Van Gelder [5] [8] [12]
10Chris Giannella [21]
11Judy Goldsmith [20]
12Michal Kouril [22] [23]
13Victor W. Marek (V. Wiktor Marek) [17]
14Kenneth A. Ross [5] [8]
15J. Seitzer [19]
16Ewald Speckenmeyer [20]
17Ramjee P. Swaminathan [14] [20]
18W. Mark Vanfleet [22] [23]
19Jeffrey Ward [22] [24]
20Sean Weaver [22] [23] [25]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)