Semantical considerations on nonmonotonic logic
Artificial Intelligence
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Well-founded semantics coincides with three-valued stable semantics
Fundamenta Informaticae
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Three-valued nonmonotonic formalisms and semantics of logic programs
Artificial Intelligence - Special issue on knowledge representation
Theoretical Computer Science
Logic Programming Semantics Made Easy
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Default Consequence Relations as a Logical Framework for Logic Programs
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Characterizations of the Stable Semantics by Partial Evaluation
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
The Strong Semantics for Logic Programs
ISMIS '91 Proceedings of the 6th International Symposium on Methodologies for Intelligent Systems
On Generation of Cumulative Inference Operators by Default Deduction Rules
Proceedings of the 1st International Workshop on Nonmonotonic and Inductive Logic
On bimodal nonmonotonic logics and their unimodal and nonmodal equivalents
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |
In this paper we develop a logical framework for normal logic programs, called default consequence relations. We give a representation of major semantics for logic programs in this formalism and study the question what logics are adequate for the latter. It is shown that, in general, default consequence relations based on three-valued inference are appropriate for these semantics, though different semantics admit different kinds of inference.