A Rewriting Strategy to Generate Prime Implicates in Equational Logic.
Mnacho EchenimNicolas PeltierSophie TourretPublished in: IJCAR (2014)
Keyphrases
- prime implicates
- modal logic
- prime implicants
- abductive reasoning
- belief change
- normal form
- automated reasoning
- temporal logic
- theorem proving
- horn clauses
- complexity theoretic
- logic programming
- desirable properties
- propositional logic
- theorem prover
- default logic
- databases
- boolean functions
- conjunctive queries
- integrity constraints
- logic programs
- natural language processing