Journal articles

• José Júlio Alferes, Matthias Knorr and Terrance Swift, Query-driven procedures for hybrid MKNF knowledge bases, ACM Transactions in Computational Logic, Vol. 14, No. 2, Pag. 1-43, ACM, 2013.
• Matthias Knorr, Martin Slota, João Alexandre Leite and Martin Homola, What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems, Journal of Logic and Computation, (url), 2013.