We have 3 of 135 papers
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.
This work considers a definitional fragment of Temporal Equilibrium Logic, which allows to capture temporal rules that contain complex (implication-free) temporal formulas in rule bodies, and shows how the set of all stable models of a theory can be represented as a non-deterministic finite state automaton (NFA).
This work introduces defeasible action rules that capture the typical outcome of action, without committing to what happens in exceptional circumstances, and defines an inference operator for defeasible action rules inspired by rational closure, adapted to the dynamic setting.
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.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
