enable nonmonotonic reasoning

ESWS
2005
Springer

126views Internet Technology» more ESWS 2005»

Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs

14 years 6 months ago

We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to ﬁnite answer set programming. ECLPs are useful to reason ...

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

claim paper

Read More »

click to vote

ASP
2005
Springer

266views Automated Reasoning» more ASP 2005»

Extending Conceptual Logic Programs with Arbitrary Rules

14 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to ﬁnite answer set programming. ECLPs are useful to reason ...

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers