Symmetric Temporal Theorem Proving.
Amir Niknafs-KermaniBoris KonevMichael FisherPublished in: TIME (2012)
Keyphrases
- theorem proving
- first order logic
- inference rules
- automated reasoning
- theorem prover
- decision procedures
- term rewriting
- parallel search
- automated deduction
- logical inference
- proof planning
- automatic programming
- temporal information
- temporal constraints
- temporal data
- consequence finding
- automated theorem proving
- combinatorial search
- temporal reasoning
- proof procedure
- propositional logic
- natural language
- machine learning