Database Updates through Abduction

The stable model semantics for logic programming

Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations

Computing, Computer Science, Formal Methods +10

A logical framework for default reasoning

David Poole · Artificial Intelligence · 1988 · 729 citations

Humanities, Computer Science, Philosophy +14

Update semantics of relational views

François Bancilhon, Nicolas Spyratos · ACM Transactions on Database Systems · 1981 · 583 citations · Full text

Computing, Computer Science, Information Systems +16

Negation in logic programming

Kenneth Kunen · The Journal of Logic Programming · 1987 · 443 citations

Computing, Computer Science, Artificial Intelligence +7

On the correct translation of update operations on relational views

Umeshwar Dayal, Philip A. Bernstein · ACM Transactions on Database Systems · 1982 · 361 citations · Full text

Computing, Computer Science, Information Systems +14