Automata-Based Temporal Reasoning in Answer Set Programming with Application to Process Mining information.
Francesco ChiarielloPublished in: OVERLAY@AI*IA (2023)
Keyphrases
- temporal reasoning
- answer set programming
- temporal information
- reasoning tasks
- logic programs
- constraint logic programming
- logic programming
- qualitative and quantitative
- temporal constraints
- data mining
- answer sets
- visual information
- software engineering
- domain knowledge
- search space
- constraint networks
- artificial intelligence
- temporal relations
- event calculus
- event logs