John S. Schlipf

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
25	EE	Sean Weaver, John V. Franco, John S. Schlipf: Extending Existential Quantification in Conjunctions of BDDs. JSAT 1(2): 89-110 (2006)
2004
24	EE	Jeffrey Ward, John S. Schlipf: Answer Set Programming with Clause Learning. LPNMR 2004: 302-313
23	EE	John 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
22	EE	John 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)
20	EE	John 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)
15	EE	Kenneth 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)
14	EE	John 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
8	EE	Allen Van Gelder, Kenneth A. Ross, John S. Schlipf: The Well-Founded Semantics for General Logic Programs. J. ACM 38(3): 620-650 (1991)
1990
7	EE	John 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
5	EE	Allen 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

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

Colors in the list of coauthors