Preference queries in deductive databases

The stable model semantics for logic programming

Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations

Computing, Computer Science, Formal Methods +10

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

Computing, Computer Science, Logic +4

Constraint logic programming

Joxan Jaffar, J.-L. Lassez · 1987 · 1.6K citations

Computing, Computer Science, Combinatorics +10

Unfounded sets and well-founded semantics for general logic programs

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf · 1988 · 389 citations · Full text

Computing, Computer Science, Databases +10

Preferences; Putting More Knowledge into Queries

Michel Lacroix, P. Lavency · 1987 · 242 citations

Computing, Computer Science, Information Retrieval +11