An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic.
Camillo FiorentiniPublished in: IJCAI (2019)
Keyphrases
- propositional logic
- minimal models
- belief revision
- first order logic
- quantified boolean formulae
- lattice theory
- possibilistic logic
- answer set programming
- davis putnam
- horn logic
- propositional satisfiability
- fuzzy set theory
- proof procedure
- fuzzy numbers
- machine learning
- theorem prover
- satisfiability testing
- fuzzy sets