A Propositional Proof System with Quantification Over Permutations.
Grzegorz HermanTim PatersonMichael SoltysPublished in: Fundam. Informaticae (2007)
Keyphrases
- clause learning
- modal logic
- propositional logic
- default logic
- first order logic
- probability distribution
- prime implicates
- quantitative evaluation
- strips planning
- autoepistemic logic
- probabilistic logic
- neural network
- knowledge representation
- multi valued
- horn clauses
- relational databases
- knowledge compilation
- statistical relational learning
- knowledge base
- real time
- disjunctive logic programming
- database