Query-driven procedures for hybrid MKNF knowledge bases

José Júlio Alferes, Matthias Knorr, Theresa Swift,

Journal	ACM Transactions in Computational Logic
Publisher	ACM
Volume	14
Number	2
Journal	ACM Transactions in Computational Logic
Publisher	ACM
Volume	14
Number	2

Publication