Office: Weston 364
Email: oarieli@mta.ac.il
Personal sites: https://www2.mta.ac.il/~oarieli, https://ofer-arieli.github.io
ORCID: 0000-0002-6588-886X
Google Scholar: 8pTfw90AAAAJ
Semantic Scholar: 1789532
DBLP: 66/4260
Research Topics:
Applications of logic in AI
Paraconsistent and non-monotonic logics
Formal Argumentation
Teaching Topics:
Logic for Computer science
Computability
Database systems