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. 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)
S. Heymans, T. Eiter, and G. Xiao. Proc. of 19th European Conference on Artificial Intelligence (ECAI), volume 215 of Frontiers in Artificial Intelligence and Applications, page 35--40. IOS Press, (2010)
S. Heymans, T. Eiter, and G. Xiao. Proc. of 19th European Conference on Artificial Intelligence (ECAI), volume 215 of Frontiers in Artificial Intelligence and Applications, page 35--40. IOS Press, (2010)
D. Calvanese, T. Eiter, and M. Ortiz. Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009., (July 2009)
M. Ortiz, and D. Calvanese. Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009., (July 2009)To appear.
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.
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, Springer, (2009)Forthcoming.
T. Eiter, C. Lutz, M. Ortiz, and M. Simkus. Proceedings 16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009), 5514, page 26-36. Springer, (2009)
T. Eiter, C. Lutz, M. Ortiz, and M. Simkus. Proceedings 16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009), 5514, page 26-36. Springer, (2009)
T. Eiter, C. Lutz, M. Ortiz, and M. Simkus.. Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009., (July 2009)To appear.
T. Eiter, C. Lutz, M. Ortiz, and M. Simkus.. Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009., (July 2009)