Abstract
NoMoRe implements answer set semantics for normal logic programs. It realizes a novel paradigm to compute answer sets by computing a-colorings (non-standard graph colorings with two colors) of the block graph (a labeled digraph) associated with a given program P (see [5] for details). Intuitively, an a-coloring reflects the set of generating rules for an answer set, which means that noMoRe is rule-based and not atom-based like most of the other known systems. Since the core system was designed for propositional programs only, we have integrated lparse [8] as a grounder in order to deal with variables. Furthermore, we have included an interface to the graph drawing tool DaVinci [6] for visualization of block graphs. This allows for a structural analysis of programs.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. Aggoun, D. Chan, P. Dufresne, and other. Eclipse user manual release 5.0. Available at http://www.icparc.ic.ac.uk/eclipse, 2000. 406
P. Cholewiński, V. Marek, A. Mikitiuk, and M. Truszczyński. Experimenting with nonmonotonic reasoning. In Proceedings of the International Conference on Logic Programming, pages 267–281. MIT Press, 1995. 408
T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A deductive system for nonmonotonic reasoning. In J. Dix, U. Furbach, and A. Nerode, editors, Proceedings of the Fourth International Conference on Logic Programming and Non-Monotonic Reasoning, volume 1265 of Lecture Notes in Artificial Intelligence, pages 363–374. Springer Verlag, 1997. 408
M. Gelfond and V. Lifschitz. Classical negation in logic programs and deductive databases. New Generation Computing, 9:365–385, 1991. 406
Th. Linke. Graph theoretical characterization and computation of answer sets. In Proceedings of the International Joint Conference on Artificial Intelligence, 2001. to appear. 406, 407
M. Werner. davinci v2.1.x online documentation. daVinci is available at http://www.tzi.de/davinci/doc_V2.1/, University of Bremen, 1998. 406, 408
I. Niemelä and P. Simons. Smodels: An implementation of the stable model and wellfounded semantics for normal logic programs. In J. Dix, U. Furbach, and A. Nerode, editors, Proc. of the Fourth International Conference on Logic Programming and Nonmonotonic Reasoning, pages 420–429. Springer, 1997. 408
T. Syrjänen. Lparse 1.0 user’s manual. Available at http://saturn.tcs.hut.fi/Software/smodels/, 2000. 406
Jan Wielemaker. Swi-prolog 3.4.3 reference manual. SWI-Prolog is available at http://www.swi.psy.uva.nl/projects/SWI-Prolog/Manual/, 1990-2000. 406
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Anger, C., Konczak, K., Linke, T. (2001). NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics. In: Eiter, T., Faber, W., Truszczyński, M.l. (eds) Logic Programming and Nonmotonic Reasoning. LPNMR 2001. Lecture Notes in Computer Science(), vol 2173. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45402-0_32
Download citation
DOI: https://doi.org/10.1007/3-540-45402-0_32
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42593-9
Online ISBN: 978-3-540-45402-1
eBook Packages: Springer Book Archive