Abductive Question-Answer System ( \mathsf AQAS ) for Classical Propositional Logic

Szymon Chlebowski, Andrzej Gajda. Abductive Question-Answer System ( \mathsf AQAS ) for Classical Propositional Logic. In Henning Christiansen 0001, Hélène Jaudoin, Panagiotis Chountas, Troels Andreasen, Henrik Legind Larsen, editors, Flexible Query Answering Systems - 12th International Conference, FQAS 2017, London, UK, June 21-22, 2017, Proceedings. Volume 10333 of Lecture Notes in Computer Science, pages 3-14, Springer, 2017. [doi]

Abstract

Abstract is missing.