Practical Reasoning in DatalogMTL.

Dingmin Wang Przemyslaw Andrzej Walega Pan Hu Bernardo Cuenca Grau

Published in: CoRR (2024)

Keyphrases

practical reasoning
legal cases
transition systems
argumentation semantics
theoretical framework
temporal logic
argumentation frameworks