Verification of Context−Sensitive Knowledge and Action Bases
Diego Calvanese‚ İsmail İlkan Ceylan‚ Marco Montali and Ario Santoso
Book Title
Proceedings of the 14th European Conference on Logics in Artificial Intelligence‚ JELIA 2014‚ Funchal‚ Madeira‚ Portugal‚ September 24−26‚ 2014.
Editor
Eduardo Fermé and João Leite
Pages
514–528
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
8761
Year
2014