Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Weakly stratified logic programs
Fundamenta Informaticae - Special issue on LOGIC PROGRAMMING
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Reasoning about termination of pure Prolog programs
Information and Computation
Disjunctive stable models: unfounded sets, fixpoint semantics, and computation
Information and Computation
Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning
Logic-based artificial intelligence
Clausal logic and logic programming in algebraic domains
Information and Computation
Approximating the Semantics of Logic Programs by Recurrent Neural Networks
Applied Intelligence
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Loop Checking and the Wll-Founded Semantics
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Generalized metrics and uniquely determined logic programs
Theoretical Computer Science - Topology in computer science
Topology And The Semantics Of Logic Programs
Fundamenta Informaticae
A uniform approach to logic programming semantics
Theory and Practice of Logic Programming
Logic Programs under Three-Valued Łukasiewicz Semantics
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
| Hi-index | 0.00 |
Part of the theory of logic programming and nonmonotonic reasoning concerns the study of fixed-point semantics for these paradigms. While several different semantics have been proposed, and some have been more successful than others, the exact relationships between the approaches have not yet been fully understood. In this paper, we give new characterizations, using level mappings, of the Fitting semantics, the well-founded semantics, and the weakly perfect model semantics. The results will unmask the well-founded semantics as a stratified version of the Fitting semantics.