Computing Stable Models for Nonmonotonic Existential Rules
Despoina Magka‚ Markus Krötzsch and Ian Horrocks
Book Title
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013)
Location
Beijing‚ China
Month
August
Year
2013