A Formalization of Interval-Based Temporal Subsumption in First Order Logic.
Claudio BettiniPublished in: ECAI Workshop on Knowledge Representation and Reasoning (1992)
Keyphrases
- first order logic
- temporal reasoning
- transitive closure
- knowledge representation
- temporal knowledge
- expressive power
- temporal relations
- temporal information
- propositional logic
- theorem proving
- probabilistic reasoning
- inference rules
- temporal constraints
- theorem prover
- description logics
- inductive logic programming
- markov logic
- representation language
- markov networks
- quantifier elimination
- markov logic networks
- temporal data
- formal semantics
- horn clauses
- probabilistic graphical models
- logical rules
- quantifier free
- np complete
- probabilistic model
- relational learning
- relational structures
- temporal patterns
- closure operator
- logic programming
- artificial intelligence