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

Szymon Chlebowski, Andrzej Gajda

Browse the full FQAS paper archive.