Temporal Inductive Logic Reasoning.
Yuan YangSiheng XiongJames Clayton KerceFaramarz FekriPublished in: CoRR (2022)
Keyphrases
- deductive reasoning
- automated reasoning
- knowledge representation
- temporal knowledge
- order of magnitude reasoning
- proof theory
- spatio temporal
- reasoning engine
- intuitionistic logic
- linear temporal logic
- knowledge base
- logical framework
- temporal constraints
- temporal information
- temporal reasoning
- probabilistic logic
- spatial and temporal
- logical inference
- human reasoning
- logic programming
- temporal patterns
- proof theoretic
- temporal data
- computational properties
- reasoning about actions
- reasoning tasks
- logical rules
- inductive reasoning
- probabilistic reasoning
- knowledge representation formalisms
- temporal planning
- abductive reasoning
- knowledge representation and reasoning
- classical logic
- qualitative reasoning
- modal logic
- reasoning systems
- description logics
- machine learning