MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators.
Dingmin WangPan HuPrzemyslaw Andrzej WalegaBernardo Cuenca GrauPublished in: AAAI (2022)
Keyphrases
- practical reasoning
- legal cases
- expressive power
- transition systems
- query answering
- query language
- deductive databases
- argumentation semantics
- datalog programs
- logic programming
- distance measure
- argumentation frameworks
- metric space
- integrity constraints
- learning algorithm
- theoretical framework
- online learning
- special case
- multi agent systems
- natural language