Enhancing the Power of a Decidable First-Order Reasoner.
Gerhard LakemeyerSusanne MeyerPublished in: KR (1994)
Keyphrases
- first order logic
- power consumption
- higher order
- expressive power
- function free horn
- quantifier elimination
- knowledge base
- knowledge representation
- artificial intelligence
- inductive logic programming
- inference rules
- theorem proving
- power distribution
- query answering
- meta reasoning
- temporal reasoning
- expert systems
- information systems