07401 Abstracts Collection -- Deduction and Decision Procedures.
Franz BaaderByron CookJürgen GieslRobert NieuwenhuisPublished in: Deduction and Decision Procedures (2007)
Keyphrases
- decision procedures
- theorem proving
- automated reasoning
- modal logic
- inference rules
- theorem prover
- first order logic
- reasoning problems
- database
- model theoretic
- objective function
- query containment
- satisfiability problem
- tight complexity bounds
- presburger arithmetic
- conjunctive queries
- xml documents
- expert systems
- artificial intelligence
- data mining