An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem.
Eugenio Roanes-LozanoLuis M. LaitaEugenio Roanes-MacíasPublished in: AISMC (1996)
Keyphrases
- multi valued
- propositional logic
- first order logic
- knowledge representation
- pseudo boolean constraints
- horn clauses
- strips planning
- probabilistic logic
- default logic
- knowledge compilation
- data mining
- statistical relational learning
- truth maintenance systems
- valued logic
- logic programming
- satisfiability testing
- machine learning