Logic programming semantics
From ONTOLORE
Different competing semantics have been developed for logic programming. While for the basic paradigm the well-founded and the stable model semantics are by most researchers considered to be the most important ones, the quest for suitable semantics for expressive extensions is still ongoing. Our work concerns a systematic comparative analysis of logic programming semantics, based on so-called level mappings.
Literature
- Natalia Cherchago, Pascal Hitzler, Steffen Hölldobler, Decidability Under the Well-Founded Semantics. In: Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie (Eds.), Proceedings of the First International Conference on Web Reasoning and Rule Systems, RR2007, Innsbruck, Austria, June 2007. Springer Lecture Notes in Computer Science 4524, pp. 269-278.
- Matthias Knorr, Pascal Hitzler, A Comparison of Disjunctive Well-founded Semantics. In: Pascal Hitzler, Thomas Roth-Berghofer and Sebastian Rudolph, FAInt-07, Foundations of Artificial Intelligence, Workshop at KI 2007. CEUR Workshop Proceedings, Vol. 277, 2007. ISSN 1613-0073.
- Pascal Hitzler, Matthias Wendt, A uniform approach to logic programming semantics. Theory and Practice of Logic Programming 5 (1-2), 2005, 123-159.
- Pascal Hitzler, Towards a Systematic Account of Different Semantics for Logic Programs. Journal of Logic and Computation 15 (3), 2005, 391-404.
- Up: <ask>Logic programming semantics</ask>
