Statistics
Publications
15
Citations
2.6K
H-Index
15
Active since
1976
John S. Schlipf is an author at University of Cincinnati specializing in computer science, mathematics, and computing.
Publications per year
1976–2006
15
15
The well-founded semantics for general logic programs
Allen Van Gelder, Kenneth A. Ross, John S. Schlipf · Journal of the ACM · 1991 · 1.7K citations
On finding solutions for extended Horn formulas
John S. Schlipf, Fred S. Annexstein, John Franco et al. · Information Processing Letters · 1995 · 59 citations
1–5 of 15