2 papers
cs.AI2010
Query-driven Procedures for Hybrid MKNF Knowledge Bases
José Júlio Alferes, Matthias Knorr, Terrance Swift
Hybrid MKNF knowledge bases are one of the most prominent tightly integrated combinations of open-world ontology languages with closed-world (non-monotonic) rule paradigms. The def…
cs.LO2003
Abduction in Well-Founded Semantics and Generalized Stable Models
José Júlio Alferes, Luís Moniz Pereira, Terrance Swift
Abductive logic programming offers a formalism to declaratively express and solve problems in areas such as diagnosis, planning, belief revision and hypothetical reasoning. Tabled…