A Definitional Fragment of Temporal Equilibrium Logic: from Temporal Programs to Compact Automata
M. Šimkus
· 0 citations
Sponsored
AI Networking Cookbook: Practical recipes for AI-assisted network automation and development
AI Networking Cookbook: Practical recipes for AI-assisted network automation and development
3 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Towards Defeasible Reasoning about Actions and Their Effects
J. Haldimann, M. Šimkus, Thomas Meyer
· 0 citations
Semantics for Description Logics via Assumption-Based Argumentation: Preliminary Results
This paper explores how reasoning over DL terminologies can be captured in argumentative terms, by establishing a translation into Assumption-Based Argumentation (ABA), a rule-based formalism comprising defeasible assumptions, where argumentation semantics are used to retrieve sets of jointly acceptable assumptions.
Giovanni Buraglio, Federica Di, M. Šimkus
· 0 citations