John S. Schlipf - Concepedia

Author

John S. Schlipf

Also Known As

Advisor John Schlipf, John S Schlipf, John S. Schlipf, John Schlipf, John Stewart Schlipf, Michael Dransfield, Nicola Leone, Schlipf, John S.

Publications

2.9K

Citations

H-Index

Concepts

All Affiliations

University of Cincinnati University of Kentucky California Institute of Technology University of Wisconsin–Madison University of California, Santa Cruz

About

John S. Schlipf is an author at University of Cincinnati specializing in automated reasoning, formal methods, and engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	9	9	2K
2	Computer Science	4	4	111
3	Data Science	1	1	1.7K
4	Linguistics	1	1	36
5	Journalism	1	1	1.7K

John S. Schlipf

Publications

2.6K

Citations

H-Index

Page 1

	Year	Citations
The well-founded semantics for general logic programs Allen Van Gelder, Kenneth A. Ross, John S. Schlipf Journal of the ACM Applied LogicEngineeringData ScienceAutomated ReasoningGeneral Logic Programs	1991	1.7K
Unfounded sets and well-founded semantics for general logic programs Allen Van Gelder, Kenneth A. Ross, John S. Schlipf	1988	386
An introduction to recursively saturated and resplendent models Jon Barwise, John S. Schlipf Journal of Symbolic Logic Resplendent ModelsSaturated ModelsSaturated ModelAutomated ReasoningType Theory	1976	100
An introduction to recursively saturated and resplendent models Jon Barwise, John S. Schlipf Journal of Symbolic Logic Resplendent ModelsSaturated ModelsSaturated ModelAutomated ReasoningType Theory	1976	70
On finding solutions for extended Horn formulas John S. Schlipf, Fred S. Annexstein, John Franco, Information Processing Letters Method Of Fundamental SolutionMonge-ampere EquationExtended Horn FormulasTheta Function	1995	59
Formalizing a logic for logic programming John S. Schlipf Annals of Mathematics and Artificial Intelligence Applied LogicEngineeringAutomated ReasoningPropositional LogicFormal Methods	1992	52
Toward model theory through recursive saturation John S. Schlipf Journal of Symbolic Logic Saturated ModelsEngineeringComputability TheoryAutomated ReasoningComputational Model Theory	1978	48
Complexity and undecidability results for logic programming John S. Schlipf Annals of Mathematics and Artificial Intelligence Applied LogicComputational LogicEngineeringAutomated ReasoningFormal Methods	1995	43
The expressive powers of the logic programming semantics (extended abstract) John S. Schlipf Applied LogicComputational LogicEngineeringOperational SemanticsDeductive Database	1990	42
Decidability and definability with circumscription John S. Schlipf Annals of Pure and Applied Logic EngineeringComputability TheoryAutomated ReasoningFormal MethodsFormal System	1987	36

Page 1