A goal-directed implementation of query answering for hybrid MKNF knowledge bases

Citation:
Gomes, Ana Sofia, José Júlio Alferes, and Terrance Swift. "A goal-directed implementation of query answering for hybrid MKNF knowledge bases." Theory and Practice of Logic Programming. 14 (2014): 239-264.

Abstract:

n/a

Notes:

n/a

PreviewAttachmentSize
tplp-11-mknf.pdf390.87 KB