Concepedia

Preferential theory revision

Pierangelo Dell’Acqua, Luı́s Moniz Pereira

Journal of Applied Logic · 2006 · 35 citations · 10 references

DOI

References

10

Lecture Notes in Artificial Intelligence

Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations

, , +9

The stable model semantics for logic programming

Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations

, , +10

On the logic of theory change: Partial meet contraction and revision functions

Carlos E. Alchourrón, Peter Gärdenfors, David Makinson · Journal of Symbolic Logic · 1985 · 3.2K citations

, , +6

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

, , +4

Logic for problem solving

Robert Kowalski, Steve Smoliar · ACM SIGSOFT Software Engineering Notes · 1982 · 1.2K citations

, , +7