Query-Driven Procedures for Hybrid MKNF Knowledge Bases

Citation:
Alferes, José Júlio, Matthias Knorr, and Terrance Swift. "Query-Driven Procedures for Hybrid MKNF Knowledge Bases." ACM Transactions On Computational Logic. 14.2 (2013).

Abstract:

n/a

Notes:

n/a

PreviewAttachmentSize
tocl13.pdf404.59 KB