EvoLogic: Toward an ITS for Teaching Propositional Logic.
Cristiano GalafassiFabiane Flores Penteado GalafassiRosa Maria VicariEliseo Berni ReateguiPublished in: Int. J. Artif. Intell. Educ. (2023)
Keyphrases
- propositional logic
- belief revision
- first order logic
- quantified boolean formulae
- possibilistic logic
- lattice theory
- belief change
- propositional satisfiability
- proof procedure
- solving hard
- satisfiability testing
- artificial intelligence
- propositional formulas
- davis putnam
- orders of magnitude
- np hard
- search algorithm