Skip to main content

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