Levan Uridia, Dirk Walther 0002. Completeness by Modal Definitions. In Guillermo Ricardo Simari, Eduardo Fermé, Flabio Gutiérrez Segura, José Antonio Rodríguez Melquiades, editors, Advances in Artificial Intelligence - IBERAMIA 2018 - 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings. Volume 11238 of Lecture Notes in Computer Science, pages 67-79, Springer, 2018. [doi]
Abstract is missing.