The Complexity of Decision Procedures In Relevance Logic II.
Alasdair UrquhartPublished in: J. Symb. Log. (1999)
Keyphrases
- decision procedures
- modal logic
- automated reasoning
- theorem proving
- temporal logic
- model theoretic
- reasoning problems
- inference rules
- knowledge representation
- probabilistic reasoning
- computational complexity
- integrity constraints
- databases
- conjunctive queries
- heuristic search
- quantified boolean formulas
- presburger arithmetic
- tight complexity bounds