Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness.
Giuseppe De GiacomoRiccardo De MasellisMarco MontaliPublished in: AAAI (2014)
Keyphrases
- linear temporal logic
- model checking
- deterministic automata
- finite automata
- knowledge base
- reasoning systems
- temporal logic
- reasoning process
- analogical reasoning
- model based reasoning
- knowledge representation and reasoning
- legal reasoning
- meta level
- default reasoning
- knowledge representation
- consistency checking
- deductive reasoning
- reasoning tasks
- uncertain information
- data sets
- qualitative reasoning
- finite number
- belief revision
- artificial intelligence
- learning algorithm