J. de Bruijn, and S. Heymans. Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), volume 5753 of Lecture Notes in Computer Science, page 101-114. Potsdam, Germany, Springer, (2009)
S. Heymans, C. Feier, and T. Eiter. Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems (RR 2009), volume 5837 of Lecture Notes in Computer Science, page 55-70. Chantilly, USA, Springer, (October 2009)
S. Heymans, D. Nieuwenborgh, and D. Vermeir. Transactions on Computational Logic, 9 (4):
1-53(August 2008)ACM, 2008. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Transactions on Computational Logic, VOL 9, ISS 4, (August 2008) http://doi.acm.org/10.1145/1380572.1380575.
S. Heymans, D. Nieuwenborgh, and D. Vermeir. Annals of Mathematics and Artificial Intelligence (Special Issue on Answer Set Programming), 47 (1-2):
103-137(June 2006)
M. Ortiz, S. Rudolph, and M. Simkus. Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10), page 269-279. AAAI Press, (May 2010)
M. Ortiz, S. Rudolph, and M. Simkus. Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10), page 269-279. AAAI Press, (May 2010)
M. Dao-Tran, T. Eiter, and T. Krennwallner. Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009), Verona, Italy, July 1--3, 2009, page 602-613. Springer, (2009)Forthcoming.
T. Eiter, M. Fink, and T. Krennwallner. Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009., (2009)
D. Calvanese, T. Eiter, and M. Ortiz. Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009., (July 2009)