3 search results - page 1 / 1 » FDNC: Decidable nonmonotonic disjunctive logic programs with... |
TOCL
2010
13 years 3 months ago
2010
ICLP
2009
Springer
14 years 5 months ago
2009
Springer
When a logic program is processed by an answer set solver, the first task is to generate its instantiation. In a recent paper, Calimeri et el. made the idea of efficient instantiat...
DEXAW
2003
IEEE
13 years 10 months ago
2003
IEEE
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...