A paraconsistent logic programming approach for querying inconsistent databases

The stable model semantics for logic programming

Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations

Computing, Computer Science, Formal Methods +10

Foundations of databases

Choice Reviews Online · 1995 · 1.8K citations

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

Consistent query answers in inconsistent databases

Marcelo Arenas, Leopoldo Bertossi, Jan Chomicki · 1999 · 887 citations · Full text

Computing, Computer Science, Computer Systems +10

The alternating fixpoint of logic programs with negation

Allen Van Gelder · 1989 · 372 citations · Full text

Computing, Computer Science, Mathematics +11