Proof Assistant Decision Procedures for Formalizing Origami.
Cezary KaliszykTetsuo IdaPublished in: Calculemus/MKM (2011)
Keyphrases
- decision procedures
- theorem proving
- modal logic
- automated reasoning
- reasoning problems
- conjunctive queries
- tight complexity bounds
- model theoretic
- theorem prover
- inference rules
- relational databases
- first order logic
- query answering
- class labels
- temporal logic
- graphical models
- knowledge representation
- search algorithm
- objective function
- query containment
- machine learning
- databases
- database