פרופ' עופר אריאלי

Ofer Arieli, AnneMarie Borg, Christian Straßer, A postulate-driven study of logical argumentation, Artificial Intelligence, Volume 322, 2023, 103966

Borg, A., Straßer, C. & Arieli, O. A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents. Stud Logica 109, 167–238 (2021).

Arieli, O., Zamansky, A. (2021). Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work). In: Arieli, O., Zamansky, A. (eds) Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Outstanding Contributions to Logic, vol 21. Springer, Cham.

Ofer Arieli, Jesse Heyninck, Simple contrapositive assumption-based argumentation part II: Reasoning with preferences, International Journal of Approximate Reasoning, Volume 139, 2021, Pages 28-53

Jesse Heyninck and Ofer Arieli. Argumentative Reflections of Approximation Fixpoint Theory, in Henry Prakken, Stefano Bistarelli, Francesco Santini and Carlo Taticchi (eds.), Proceedings of the 8th International on Computational Models of Argument, COMMA'20, Frontiers in Artificial Intelligence and Applications, volume 326, pages 215–226, IOS Press, 2020.

Jesse Heyninck and Ofer Arieli. Simple contrapositive assumption-based argumentation frameworks, Int. J. Approx. Reason., volume 121, pages 103–124, 2020.

Ofer Arieli and Christian Straßer. On Minimality and Consistency Tolerance in Logical Argumentation Frameworks, in Henry Prakken, Stefano Bistarelli, Francesco Santini and Carlo Taticchi (eds.), Proceedings of the 8th International on Computational Models of Argument, COMMA'20, Frontiers in Artificial Intelligence and Applications, volume 326, pages 91–102, IOS Press, 2020.

Ofer Arieli and Jesse Heyninck. Prioritized Simple Contrapositive Assumption-Based Frameworks, in Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín and Jérôme Lang (eds.), Proceedings of the 24th European Conference on Artificial Intelligence, ECAI'20, Frontiers in Artificial Intelligence and Applications, volume 325, pages 608–615, IOS Press, 2020.

Ofer Arieli, Annemarie Borg and Christian Straßer. Tuning Logical Argumentation Frameworks: A Postulate-Derived Approach, in Roman Barták and Eric Bell (eds.), Proceedings of the 33rd International Florida Artificial Intelligence Research Society Conference, FLAIRS'20, pages 557–562, AAAI Press, 2020.

Christian Straßer and Ofer Arieli. Normative reasoning by sequent-based argumentation, J. Log. Comput., volume 29, number 3, pages 387–415, 2019.

Jesse Heyninck and Ofer Arieli. An Argumentative Characterization of Disjunctive Logic Programming, in Paulo Moura Oliveira, Paulo Novais and Luís Paulo Reis (eds.), Proceedings of the 19th EPIA Conference on Artificial Intelligence, EPIA'19, Part II, Lecture Notes in Computer Science, volume 11805, pages 526–538, Springer, 2019.

Jesse Heyninck and Ofer Arieli. Simple Contrapositive Assumption-Based Frameworks, in Edith Elkind, Manuela Veloso, Noa Agmon and Matthew E. Taylor (eds.), Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS'19, pages 2018–2020, International Foundation for Autonomous Agents and Multiagent Systems, 2019

Jesse Heyninck and Ofer Arieli. Simple Contrapositive Assumption-Based Frameworks, in Marcello Balduccini, Yuliya Lierler and Stefan Woltran (eds.), Proceedings of the 15th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR'19, Lecture Notes in Computer Science, volume 11481, pages 75–88, Springer, 2019.

Ofer Arieli and Christian Straßer. Logical argumentation by dynamic proof systems, Theor. Comput. Sci., volume 781, pages 63–91, 2019.

Ofer Arieli, Annemarie Borg and Jesse Heyninck. A review of the relations between logical argumentation and reasoning with maximal consistency, Ann. Math. Artif. Intell., volume 87, number 3, pages 187–226, 2019.