Abductive Question-Answer System ( \mathsf AQAS ) for Classical Propositional Logic.
Szymon ChlebowskiAndrzej GajdaPublished in: FQAS (2017)
Keyphrases
- propositional logic
- question answer
- proof procedure
- horn logic
- first order logic
- valued logic
- belief revision
- asked questions
- possibilistic logic
- quantified boolean formulae
- link analysis
- davis putnam
- lattice theory
- propositional satisfiability
- background knowledge
- satisfiability testing
- information retrieval
- logic programming
- inference rules
- databases
- abductive reasoning
- ranking algorithm
- logic programs
- social networks