3 search results - page 1 / 1 » Extended ASP Tableaux and Rule Redundancy in Normal Logic Pr... |
ICLP
2007
Springer
13 years 10 months ago
2007
Springer
ASP
2003
Springer
13 years 9 months ago
2003
Springer
In this paper we define the notion of a compatibility relation so as to have a common framework for three nonmonotonic reasoning systems: normal logic programming, extended logic ...
LPNMR
2007
Springer
13 years 10 months ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...