Normal Form Nested Programs
Published in Fundamenta Informaticae • Jan 1, 2009
NobleIDNI1P24W78R51S24
Authors:,,
Annamaria Bria
Wolfgang Faber
Nicola Leone
Abstract
Disjunctive logic programming under the answer set semantics (DLP, ASP) has been acknowledged as a versatile formalism for knowledge representation and reasoning during the last decades. Lifschitz, Tang, and Turner have introduced an extended language of DLP, called Nested Logic Programming (NLP), i...
Subject
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!