Why Horn formulas matter in computer science: initial structures and generic examples
Journal of Computer and System Sciences
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
Arithmetic classification of perfect models of stratified programs
Fundamenta Informaticae - Special issue on LOGIC PROGRAMMING
Handbook of theoretical computer science (vol. B)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
P01 -classes and Rado' selection principle
Journal of Symbolic Logic
Proceedings of the eleventh international conference on Logic programming
Extending and implementing the stable model semantics
Artificial Intelligence
Resolution for Skeptical Stable Model Semantics
Journal of Automated Reasoning
Domains for Denotational Semantics
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Locally Determined Logic Programs
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
CSL '94 Selected Papers from the 8th International Workshop on Computer Science Logic
Hi-index | 0.00 |
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to programs, i.e. sets of clauses where we allow both atoms and their negations in the body of clause, a special class of models of the program, called stable models. We show that stable logic semantics does not satisfy the natural analogue of the compactness theorem. However, we show that there are a variety of conditions which will ensure that a program satisfies the analogue of the compactness theorem.