7 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.PL2014★ 7 cited
Incremental Tabling in Support of Knowledge Representation and Reasoning
Terrance Swift
Resolution-based Knowledge Representation and Reasoning (KRR) systems, such as Flora-2, Silk or Ergo, can scale to tens or hundreds of millions of facts, while supporting reasoning…
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…