Ofer Arieli
3 papers
· 2022–2024
· 2 conferences
· across top CS/AI conferences
Achievements
π§
Keyword Pioneer
π
Conference Polyglot
(2)
π
Interdisciplinary Bridge
π
Cross-Pollinator
(12)
Conferences
IJCAI (2)
AAAI (1)
Top co-authors
Keywords
formal argumentation
(2)
defeasible reasoning
(2)
logical argumentation
(2)
sequent calculus
(2)
labelling semantics
(1)
logical framework
(1)
formal semantics
(1)
nonmonotonic reasoning
(1)
defeasible assumption
(1)
proof system
(1)
dung semantics
(1)
labeling semantics
(1)
aba framework
(1)
complete semantics
(1)
grounded semantics
(1)
normative reasoning
(1)
paraconsistent reasoning
(1)
non-monotonic reasoning
(1)
argumentation framework
(1)
assumption-based argumentation
(1)