Modal logic
Strongly equivalent logic programs
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
A New Logical Characterisation of Stable Models and Answer Sets
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
A Tableau Calculus for Equilibrium Entailment
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Propositional theories are strongly equivalent to logic programs
Theory and Practice of Logic Programming
A new perspective on stable models
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Thirteen definitions of a stable model
Fields of logic and computation
Contingency-based equilibrium logic
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Hi-index | 0.00 |
Here-and-there models and equilibrium models were investigated as a semantical framework for answer set programming by Pearce, Cabalar, Lifschitz, Ferraris and others. The semantics of equilibrium logic is indirect in that the notion of satisfiability is defined in terms of satisfiability in the logic of here-and-there. We here give a direct semantics of equilibrium logic, stated in terms of a modal language into which the language of equilibrium logic can be embedded.