35
Publications
1.3K
Citations
19
H-Index
1996
Active since
Ofer Arieli is an author at Academic College of Tel Aviv-Yafo specializing in automated reasoning, engineering, and formal methods.
Top concepts
EngineeringAutomated ReasoningFormal MethodsComputer ScienceSemanticsLinguisticsLanguageFormal VerificationVerificationArgument Mining
Publications per year
1996–2020
35
35
Ofer Arieli, Arnon Avron · Artificial Intelligence · 1998 · 234 citations
Ofer Arieli, Arnon Avron, Anna Zamansky · Studia Logica · 2011 · 60 citations
Ideal Paraconsistent Logics, Non-classical Logic, Paraconsistent Logic +4
Sequent-based logical argumentation
Ofer Arieli, Christian Straßer · Argument & Computation · 2015 · 50 citations · Full text
Logical bilattices and inconsistent data
Ofer Arieli, Arnon Avron · 2002 · 48 citations
Rows per page
1–5 of 35