426 search results - page 5 / 86 » Combining Answer Sets of Nonmonotonic Logic Programs |
ESWS
2005
Springer
14 years 1 months ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
ESWS
2007
Springer
14 years 1 months ago
2007
Springer
KR
2004
Springer
14 years 27 days ago
2004
Springer
ASP
2003
Springer
14 years 23 days 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 ...
ASP
2005
Springer
14 years 1 months ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...