Decidability and Complexity Analysis by Basic Paramodulation.
Robert NieuwenhuisPublished in: Inf. Comput. (1998)
Keyphrases
- complexity analysis
- first order logic
- theorem proving
- decision procedures
- inference rules
- description logics
- expressive power
- query answering
- theoretical analysis
- lower bound
- knowledge representation
- computational complexity
- incomplete information
- database
- evolutionary algorithm
- objective function
- transitive closure
- artificial intelligence
- automated reasoning
- computational properties