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

בית הספר למדעי המחשב

המכללה האקדמית תל-אביב

בניין ווסטון חדר 364 אתר אישי
to English

הצגה: רשמי, שנתי, לינארי.

2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994

כל הפרסומים

2020
105 Ofer Arieli, Annemarie Borg and Christian Straßer. Tuning Logical Argumentation Frameworks: A Postulate-Derived Approach, באוסף Roman Barták and Eric Bell (עורכים), Proceedings of the 33rd International Florida Artificial Intelligence Research Society Conference, FLAIRS'20, עמודים 557–562, AAAI Press, 2020.
104 Ofer Arieli and Jesse Heyninck. Prioritized Simple Contrapositive Assumption-Based Frameworks, באוסף Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín and Jérôme Lang (עורכים), Proceedings of the 24th European Conference on Artificial Intelligence, ECAI'20, Frontiers in Artificial Intelligence and Applications, כרך 325, עמודים 608–615, IOS Press, 2020.
103 Ofer Arieli and Christian Straßer. On Minimality and Consistency Tolerance in Logical Argumentation Frameworks, באוסף Henry Prakken, Stefano Bistarelli, Francesco Santini and Carlo Taticchi (עורכים), Proceedings of the 8th International on Computational Models of Argument, COMMA'20, Frontiers in Artificial Intelligence and Applications, כרך 326, עמודים 91–102, IOS Press, 2020.
102 Jesse Heyninck and Ofer Arieli. Simple contrapositive assumption-based argumentation frameworks, Int. J. Approx. Reason., כרך 121, עמודים 103–124, 2020.
101 Jesse Heyninck and Ofer Arieli. Argumentative Reflections of Approximation Fixpoint Theory, באוסף Henry Prakken, Stefano Bistarelli, Francesco Santini and Carlo Taticchi (עורכים), Proceedings of the 8th International on Computational Models of Argument, COMMA'20, Frontiers in Artificial Intelligence and Applications, כרך 326, עמודים 215–226, IOS Press, 2020.
2019
100 Ofer Arieli, Annemarie Borg and Jesse Heyninck. A review of the relations between logical argumentation and reasoning with maximal consistency, Ann. Math. Artif. Intell., כרך 87, מספר 3, עמודים 187–226, 2019.
99 Ofer Arieli and Christian Straßer. Logical argumentation by dynamic proof systems, Theor. Comput. Sci., כרך 781, עמודים 63–91, 2019.
98 Jesse Heyninck and Ofer Arieli. Simple Contrapositive Assumption-Based Frameworks, באוסף Edith Elkind, Manuela Veloso, Noa Agmon and Matthew E. Taylor (עורכים), Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS'19, עמודים 2018–2020, International Foundation for Autonomous Agents and Multiagent Systems, 2019.
97 Jesse Heyninck and Ofer Arieli. An Argumentative Characterization of Disjunctive Logic Programming, באוסף Paulo Moura Oliveira, Paulo Novais and Luís Paulo Reis (עורכים), Proceedings of the 19th EPIA Conference on Artificial Intelligence, EPIA'19, Part II, Lecture Notes in Computer Science, כרך 11805, עמודים 526–538, Springer, 2019.
96 Jesse Heyninck and Ofer Arieli. Simple Contrapositive Assumption-Based Frameworks, באוסף Marcello Balduccini, Yuliya Lierler and Stefan Woltran (עורכים), Proceedings of the 15th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR'19, Lecture Notes in Computer Science, כרך 11481, עמודים 75–88, Springer, 2019.
95 Christian Straßer and Ofer Arieli. Normative reasoning by sequent-based argumentation, J. Log. Comput., כרך 29, מספר 3, עמודים 387–415, 2019.
2018
94 Ofer Arieli, Annemarie Borg and Christian Straßer. Reasoning with maximal consistency by argumentative approaches, J. Log. Comput., כרך 28, מספר 7, עמודים 1523–1563, 2018.
93 Ofer Arieli, Annemarie Borg and Christian Straßer. Prioritized Sequent-Based Argumentation, באוסף Elisabeth André, Sven Koenig, Mehdi Dastani and Gita Sukthankar (עורכים), Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS'18, עמודים 1105–1113, International Foundation for Autonomous Agents and Multiagent Systems, 2018.
92 Arnon Avron, Ofer Arieli and Anna Zamansky. Theory of Effective Propositional Paraconsistent Logics, Studies in Logic, כרך 75, College Publications, 2018.
91 Annemarie Borg and Ofer Arieli. Hypersequential Argumentation Frameworks: An Instantiation in the Modal Logic S5, באוסף Elisabeth André, Sven Koenig, Mehdi Dastani and Gita Sukthankar (עורכים), Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS'18, עמודים 1097–1104, International Foundation for Autonomous Agents and Multiagent Systems, 2018.
90 Jesse Heyninck and Ofer Arieli. On the Semantics of Simple Contrapositive Assumption-Based Argumentation Frameworks, באוסף Sanjay Modgil, Katarzyna Budzynska and John Lawrence (עורכים), Proceedings of the 7th International Conference on Computational Models of Argument, COMMA'18, Frontiers in Artificial Intelligence and Applications, כרך 305, עמודים 9–20, IOS Press, 2018.
89 Jesse Heyninck and Ofer Arieli. On the Semantics of Simple Contrapositive Assumption-Based Argumentation Frameworks, באוסף Proceedings of the 2nd Chinese Conference on Logic and Argumentation, CLAR'18, 2018.
2017
88 Ofer Arieli and Arnon Avron. Four-Valued Paradefinite Logics, Studia Logica, כרך 105, מספר 6, עמודים 1087–1122, 2017.
87 Ofer Arieli, Annemarie Borg and Christian Straßer. Argumentative Approaches to Reasoning with Consistent Subsets of Premises, באוסף Salem Benferhat, Karim Tabia and Moonis Ali (עורכים), Proceedings of the 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE'17, Part I, Lecture Notes in Computer Science, כרך 10350, עמודים 455–465, Springer, 2017.
86 Annemarie Borg, Ofer Arieli and Christian Straßer. Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM, באוסף Elizabeth Black, Sanjay Modgil and Nir Oren (עורכים), Proceedings of the 4th International Workshop on Theory and Applications of Formal Argumentation, TAFA'17, Revised Selected Papers, Lecture Notes in Computer Science, כרך 10757, עמודים 17–34, Springer, 2017.
2016
85 Ofer Arieli. On the acceptance of loops in argumentation frameworks, J. Log. Comput., כרך 26, מספר 4, עמודים 1203–1234, 2016.
84 Ofer Arieli and Arnon Avron. Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency, באוסף Delia Kesner and Brigitte Pientka (עורכים), 1st International Conference on Formal Structures for Computation and Deduction, FSCD'16, LIPIcs, כרך 52, עמודים 7:1–7:15, Schloss Dagstuhl—Leibniz-Zentrum fɒr Informatik, 2016.
83 Ofer Arieli and Christian Straßer. Deductive argumentation by enhanced sequent calculi and dynamic derivations, Electronic Notes in Theoretical Computer Science, עמודים 509–512, AAAI Press, 2016.
82 Ofer Arieli and Christian Straßer. Argumentative Approaches to Reasoning with Maximal Consistency, באוסף Chitta Baral, James P. Delgrande and Frank Wolter (עורכים), Proceedings of the 15th International Conference Principles of Knowledge Representation and Reasoning, KR'16, כרך 323, עמודים 21–37, 2016.
81 Ofer Arieli and Anna Zamansky. A graded approach to database repair by context-aware distance semantics, Fuzzy Sets Syst., כרך 298, עמודים 4–21, 2016.
2015
80 Ofer Arieli. Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks, J. Appl. Log., כרך 13, מספר 4, עמודים 582–604, 2015.
79 Ofer Arieli and Christian Straßer. Sequent-based logical argumentation, Argument & Computation, כרך 6, מספר 1, עמודים 73–99, 2015.
78 Ofer Arieli and Christian Straßer. Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations, באוסף Mario R. F. Benevides and René Thiemann (עורכים), Proceedings of the Tenth Workshop on Logical and Semantic Frameworks with Applications LSFA'15, Electronic Notes in Theoretical Computer Science, כרך 323, עמודים 21–37, Elsevier, 2015.
77 Ofer Arieli and Anna Zamansky. A dissimilarity-based framework for generating inconsistency-tolerant logics, Ann. Math. Artif. Intell., כרך 73, מספר 1--2, עמודים 47–73, 2015.
2014
76 Ofer Arieli and Tjitze Rienstra. Preferential Reasoning Based On Abstract Argumentation Semantics, באוסף Simon Parsons, Nir Oren, Chris Reed and Federico Cerutti (עורכים), Proceedings of the 5th International Computational Models of Argument, COMMA'14, Frontiers in Artificial Intelligence and Applications, כרך 266, עמודים 77–88, IOS Press, 2014.
75 Ofer Arieli and Christian Straßer. Dynamic Derivations for Sequent-Based Logical Argumentation, באוסף Simon Parsons, Nir Oren, Chris Reed and Federico Cerutti (עורכים), Proceedings of the 5th International Computational Models of Argument, COMMA'14, Frontiers in Artificial Intelligence and Applications, כרך 266, עמודים 89–100, IOS Press, 2014.
74 Christian Straßer and Ofer Arieli. Sequent-Based Argumentation for Normative Reasoning, באוסף Fabrizio Cariani, Davide Grossi, Joke Meheus and Xavier Parent (עורכים), Proceedings of the 12th International Conference on Deontic Logic and Normative Systems, DEON'14, Lecture Notes in Computer Science, כרך 8554, עמודים 224–240, Springer, 2014.
73 Anna Zamansky, Ofer Arieli and Kostas Stefanidis. Context-Aware Distance Semantics for Inconsistent Database Systems, באוסף Anne Laurent, Olivier Strauss, Bernadette Bouchon-Meunier and Ronald R. Yager (עורכים), Proceedings of the 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems , IPMU'14, Part II, Communications in Computer and Information Science, כרך 443, עמודים 194–203, Springer, 2014.
2013
72 Ofer Arieli. A Sequent-Based Representation of Logical Argumentation, באוסף João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre and Stefan Woltran (עורכים), Proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, Lecture Notes in Computer Science, כרך 8143, עמודים 69–85, Springer, 2013.
71 Ofer Arieli. Towards Constraints Handling by Conflict Tolerance in Abstract Argumentation Frameworks, באוסף Chutima Boonthum-Denecke and G. Michael Youngblood (עורכים), Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, FLAIRS'13, AAAI Press, 2013.
70 Ofer Arieli and Martin W. A. Caminada. A QBF-based formalization of abstract argumentation semantics, J. Appl. Log., כרך 11, מספר 2, עמודים 229–252, 2013.
2012
69 Ofer Arieli. Conflict-Tolerant Semantics for Argumentation Frameworks, באוסף Luis Fariñas del Cerro, Andreas Herzig and Jérôme Mengin (עורכים), Proceedings of the 13th European Conference on Logics in Artificial Intelligence, JELIA'12, Lecture Notes in Computer Science, כרך 7519, עמודים 28–40, Springer, 2012.
68 Ofer Arieli and Martin W. A. Caminada. A General QBF-based Formalization of abstract Argumentation Theory, באוסף Bart Verheij, Stefan Szeider and Stefan Woltran (עורכים), Proceedings of the 4th International Conference on Computational Models of Argument, COMMA'12, Frontiers in Artificial Intelligence and Applications, כרך 245, עמודים 105–116, IOS Press, 2012.
67 Ofer Arieli and Anna Zamansky. Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities, באוסף Thomas Lukasiewicz and Attila Sali (עורכים), Proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS'12, Lecture Notes in Computer Science, כרך 7153, עמודים 34–50, Springer, 2012.
2011
66 Ofer Arieli, Arnon Avron and Anna Zamansky. Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics, Studia Logica, כרך 97, מספר 1, עמודים 31–60, 2011.
65 Ofer Arieli, Arnon Avron and Anna Zamansky. Ideal Paraconsistent Logics, Studia Logica, כרך 99, מספר 1-3, עמודים 31–60, 2011.
64 Ofer Arieli, Arnon Avron and Anna Zamansky. What Is an Ideal Logic for Reasoning with Inconsistency?, באוסף Toby Walsh (עורכים), Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI'11, עמודים 706–711, IJCAI/AAAI, 2011.
63 Ofer Arieli and Anna Zamansky. A framework for reasoning under uncertainty based on non-deterministic distance semantics, Int. J. Approx. Reason., כרך 52, מספר 2, עמודים 184–211, 2011.
62 Ofer Arieli and Anna Zamansky. Simplified forms of computerized reasoning with distance semantics, J. Appl. Log., כרך 9, מספר 1, עמודים 1–22, 2011.
2010
61 Ofer Arieli. On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information, באוסף Fangzhen Lin, Ulrike Sattler and Miroslaw Truszczynski (עורכים), Proceedings of the 12th International Conference Principles of Knowledge Representation and Reasoning, KR'10, AAAI Press, 2010.
60 Ofer Arieli, Arnon Avron and Anna Zamansky. Maximally Paraconsistent Three-Valued Logics, באוסף Fangzhen Lin, Ulrike Sattler and Miroslaw Truszczynski (עורכים), Proceedings of the 12th International Conference Principles of Knowledge Representation and Reasoning, KR'10, AAAI Press, 2010.
59 Ofer Arieli and Anna Zamansky. Similarity-Based Inconsistency-Tolerant Logics, באוסף Tomi Janhunen and Ilkka NiemelȨ (עורכים), Proceedings of the 12th European Conference on Logics in Artificial Intelligence, JELIA'10, Lecture Notes in Computer Science, כרך 6341, עמודים 11–23, Springer, 2010.
58 Arnon Avron, Ofer Arieli and Anna Zamansky. On Strong Maximality of Paraconsistent Finite-Valued Logics, באוסף Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS'10, עמודים 304–313, IEEE Computer Society, 2010.
57 Marc Denecker, Alvaro Cortés-Calabuig, Maurice Bruynooghe and Ofer Arieli. Towards a logical reconstruction of a theory for locally closed databases, ACM Trans. Database Syst., כרך 35, מספר 3, עמודים 22:1–22:60, 2010.
2009
56 Ofer Arieli and Anna Zamansky. Distance-based non-deterministic semantics for reasoning with uncertainty, Log. J. IGPL, כרך 17, מספר 4, עמודים 325–350, 2009.
55 Ofer Arieli and Anna Zamansky. Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data, באוסף Claudio Sossai and Gaetano Chemello (עורכים), Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU'09, Lecture Notes in Computer Science, כרך 5590, עמודים 793–804, Springer, 2009.
2008
54 Ofer Arieli. Distance-based paraconsistent logics, Int. J. Approx. Reason., כרך 48, מספר 3, עמודים 766–783, 2008.
53 Ofer Arieli. Reasoning with prioritized information by iterative aggregation of distance functions, J. Appl. Log., כרך 6, מספר 4, עמודים 589–605, 2008.
52 Ofer Arieli. Reasoning with Prioritized Data by Aggregation of Distance Functions, באוסף Pei Wang, Ben Goertzel and Stan Franklin (עורכים), Proceedings of the 1st Conference on Artificial General Intelligence, AGI'08, Frontiers in Artificial Intelligence and Applications, כרך 171, עמודים 27–38, IOS Press, 2008.
51 Ofer Arieli and Anna Zamansky. Distance-Based Non-Deterministic Semantics, באוסף Pei Wang, Ben Goertzel and Stan Franklin (עורכים), Proceedings of the 1st Conference on Artificial General Intelligence, AGI'08, Frontiers in Artificial Intelligence and Applications, כרך 171, עמודים 39–50, IOS Press, 2008.
50 Ofer Arieli and Anna Zamansky. Some Simplified Forms of Reasoning with Distance-Based Entailments, באוסף Sabine Bergler (עורכים), Proceedings of the 21st Conference of the Canadian Society for Computational Studies of Intelligence, AI'08, Lecture Notes in Computer Science, כרך 5032, עמודים 36–47, Springer, 2008.
49 Ofer Arieli and Anna Zamansky. Reasoning with Uncertainty by Nmatrix-Metric Semantics, באוסף Wilfrid Hodges and Ruy J. G. B. de Queiroz (עורכים), Proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC'08, Lecture Notes in Computer Science, כרך 5110, עמודים 69–82, Springer, 2008.
48 Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli and Maurice Bruynooghe. Efficient fixpoint methods for approximate query answering in locally complete databases, באוסף Gerhard Brewka and Jérôme Lang (עורכים), Proceedings of LID'08, Logic in Databases, 2008.
47 Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli and Maurice Bruynooghe. Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases, באוסף Gerhard Brewka and Jérôme Lang (עורכים), Proceedings of the 11th International Conference Principles of Knowledge Representation and Reasoning, KR'08, עמודים 81–91, AAAI Press, 2008.
2007
46 Ofer Arieli. Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae, ACM Trans. Comput. Log., כרך 8, מספר 3, עמודים 18, 2007.
45 Ofer Arieli. Paraconsistent reasoning and distance minimization, באוסף Proceeding of CiE'07, Computation and Logic in the Real World, Quaderni del Dipartimento di Scienze Matematiche e Informatiche 'Roberto Magari', עמודים 53–61, Universita di Siena, 2007.
44 Ofer Arieli. Commonsense reasoning by distance semantics, באוסף Dov Samet (עורכים), Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge, TARK'07, עמודים 33–41, 2007.
43 Ofer Arieli, Marc Denecker and Maurice Bruynooghe. Distance semantics for database repair, Ann. Math. Artif. Intell., כרך 50, מספר 3--4, עמודים 389–415, 2007.
42 Chris Cornelis, Ofer Arieli, Glad Deschrijver and Etienne E. Kerre. Uncertainty Modeling by Bilattice-Based Squares and Triangles, IEEE Trans. Fuzzy Syst., כרך 15, מספר 2, עמודים 161–175, 2007.
41 Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli and Maurice Bruynooghe. Approximate Query Answering in Locally Closed Databases, באוסף Proceedings of the 22nd AAAI Conference on Artificial Intelligence, עמודים 397–402, AAAI Press, 2007.
40 Glad Deschrijver, Ofer Arieli, Chris Cornelis and Etienne E. Kerre. A Bilattice-Based Framework for Handling Graded Truth and Imprecision, Int. J. Uncertain. Fuzziness Knowl. Based Syst., כרך 15, מספר 1, עמודים 13–41, 2007.
2006
39 Ofer Arieli. Distance-based Semantics for Multiple-valued Logics, באוסף Jürgen Dix and Anthony Hunter (עורכים), Proceedings of the 11th International Workshop on Non-Monotonic Reasoning, NMR’06, עמודים 153–161, TU Clausthal, 2006.
38 Ofer Arieli, Chris Cornelis and Glad Deschrijver. Preference Modeling by Rectangular Bilattices, באוסף Vicenç Torra, Yasuo Narukawa, Aïda Valls and Josep Domingo-Ferrer (עורכים), Proceedings of the 3rd International Conference on Modeling Decisions for Artificial Intelligence, MDAI'06, Lecture Notes in Computer Science, כרך 3885, עמודים 22–33, Springer, 2006.
37 Ofer Arieli, Marc Denecker and Maurice Bruynooghe. Distance-Based Repairs of Databases, באוסף Michael Fisher, Wiebe van der Hoek, Boris Konev and Alexei Lisitsa (עורכים), Proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA'06, Lecture Notes in Computer Science, כרך 4160, עמודים 43–55, Springer, 2006.
36 Ofer Arieli, Marc Denecker, Bert Van Nuffelen and Maurice Bruynooghe. Computational methods for database repair by signed formulae, Ann. Math. Artif. Intell., כרך 46, מספר 1-2, עמודים 4–37, 2006.
35 Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli and Maurice Bruynooghe. Representation of Partial Knowledge and Query Answering in Locally Complete Databases, באוסף Miki Hermann and Andrei Voronkov (עורכים), Proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR'06, Lecture Notes in Computer Science, כרך 4246, עמודים 407–421, Springer, 2006.
2005
34 Ofer Arieli, Chris Cornelis, Glad Deschrijver and Etienne E. Kerre. Bilattice-Based Squares and Triangles, באוסף Lluís Godo (עורכים), Proceedings of the 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU'05, Lecture Notes in Computer Science, כרך 3571, עמודים 563–575, Springer, 2005.
33 Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen and Maurice Bruynooghe. On the Local Closed-World Assumption of Data-Sources, באוסף Katja Verbeeck, Karl Tuyls, Ann Nowé, Bernard Manderick and Bart Kuijpers (עורכים), Proceedings of the 17th Belgium-Netherlands Conference on Artificial Intelligence, BNAIC'05, עמודים 333–334, Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten, 2005.
32 Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen and Maurice Bruynooghe. On the Local Closed-World Assumption of Data-Sources, באוסף Chitta Baral, Gianluigi Greco, Nicola Leone and Giorgio Terracina (עורכים), Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR'05, Lecture Notes in Computer Science, כרך 3662, עמודים 145–157, Springer, 2005.
31 Bert Van Nuffelen, Ofer Arieli, Alvaro Cortés-Calabuig and Maurice Bruynooghe. An ID-Logic Formalization of the Composition of Autonomous Databases, באוסף Chitta Baral, Gianluigi Greco, Nicola Leone and Giorgio Terracina (עורכים), Proceedigns of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR'05, Lecture Notes in Computer Science, כרך 3662, עמודים 132–144, Springer, 2005.
2004
30 Ofer Arieli. Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae, באוסף Ramón López de Mántaras and Lorenza Saitta (עורכים), Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'04, עמודים 773–777, IOS Press, 2004.
29 Ofer Arieli, Chris Cornelis, Glad Deschrijver and Etienne Kerre. Relating Intuitionistic Fuzzy Sets and Interval-valued Fuzzy Sets through Bilattices, באוסף Proceedings of the 6th International FLINS Conference on Applied Computational Intelligence, FLINS'04, עמודים 57–64, World Scientific, 2004.
28 Ofer Arieli, Marc Denecker, Bert Van Nuffelen and Maurice Bruynooghe. Coherent Integration of Databases by Abductive Logic Programming, J. Artif. Intell. Res., כרך 21, עמודים 245–286, 2004.
27 Ofer Arieli, Marc Denecker, Bert Van Nuffelen and Maurice Bruynooghe. Database Repair by Signed Formulae, באוסף Dietmar Seipel and Jose Maria Turull Torres (עורכים), Proceedings of the 3rd International Symposium on the Foundations of Information and Knowledge Systems, FoIKS'04, Lecture Notes in Computer Science, כרך 2942, עמודים 14–30, Springer, 2004.
26 Bert Van Nuffelen, Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli and Maurice Bruynooghe. Data Integration Using ID-Logic, באוסף Anne Persson and Janis Stirna (עורכים), Proceedings of the 16th International Conference on Advanced Information Systems Engineering, CAiSE'04, Lecture Notes in Computer Science, כרך 3084, עמודים 67–81, Springer, 2004.
2003
25 Ofer Arieli. Reasoning with Different Levels of Uncertainty, J. Appl. Non Class. Logics, כרך 13, מספר 3-4, עמודים 317–343, 2003.
24 Ofer Arieli. Preferential Logics for Reasoning with Graded Uncertainty, באוסף Thomas D. Nielsen and Nevin Lianwen Zhang (עורכים), Proceedings of the 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU'03, Lecture Notes in Computer Science, כרך 2711, עמודים 515–527, Springer, 2003.
23 Ofer Arieli and Marc Denecker. Reducing Preferential Paraconsistent Reasoning to Classical Entailment, J. Log. Comput., כרך 13, מספר 4, עמודים 557–580, 2003.
2002
22 Ofer Arieli. Paraconsistent Declarative Semantics for Extended Logic Programs, Ann. Math. Artif. Intell., כרך 36, מספר 4, עמודים 381–417, 2002.
21 Ofer Arieli. Paraconsistent Semantics for Extended Logic Programs, באוסף Hamid R. Arabnia and Youngsong Mun (עורכים), Proceedings of the International Conference on Artificial Intelligence, IC-AI'02, Volume 3, עמודים 1199–1205, CSREA Press, 2002.
20 Ofer Arieli and Marc Denecker. Modeling Paraconsistent Reasoning by Classical Logic, באוסף Thomas Eiter and Klaus-Dieter Schewe (עורכים), Proceedings of the 2nd International Symposium on Foundations of Information and Knowledge Systems, Lecture Notes in Computer Science, כרך 2284, עמודים 1–14, Springer, 2002.
19 Ofer Arieli, Marc Denecker, Bert Van Nuffelen and Maurice Bruynooghe. Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning, באוסף Hendrik Decker, Jørgen Villadsen and Toshiharu Waragai (עורכים), Proceedings of the ICLP 2002 workshop on Paraconsistent Computational Logic, PCL'02, Datalogiske Skrifter, כרך 95, עמודים 51–65, Roskilde University, Roskilde, Denmark, 2002.
2001
18 Ofer Arieli, Bert Van Nuffelen, Marc Denecker and Maurice Bruynooghe. Coherent Composition of Distributed Knowledge-Bases Through Abduction, באוסף Robert Nieuwenhuis and Andrei Voronkov (עורכים), Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR'01, Lecture Notes in Computer Science, כרך 2250, עמודים 624–638, Springer, 2001.
2000
17 Ofer Arieli. An Algorithmic Approach to Recover Inconsistent Knowledge-Bases, באוסף Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka and Luís Moniz Pereira (עורכים), Proceedings of the 7th European Workshop on Logics in Artificial Intelligence, JELIA'00, Lecture Notes in Computer Science, כרך 1919, עמודים 148–162, Springer, 2000.
16 Ofer Arieli. Reasoning with Modularly Pointwise Preferential Relations, באוסף Proceedings of the 12th Belgium-Netherlands Conference on Artificial Intelligence, BNAIC'05, עמודים 61–68, BNVKI Association, 2000.
15 Ofer Arieli and Arnon Avron. General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations, Log. J. IGPL, כרך 8, מספר 2, עמודים 119–148, 2000.
14 Ofer Arieli and Arnon Avron. Bilattices and Paraconsistency, באוסף Frontiers of Paraconsistent Logic, Studies in Logic and Computation, כרך 8, עמודים 11–27, Research Studies Press, 2000.
1999
13 Ofer Arieli. Four-valued Logics for Reasoning with Uncertainty in Prioritized Data, באוסף Information, Uncertainty, Fusion, עמודים 263–309, Kluwer Academic Publishers, 1999.
12 Ofer Arieli and Arnon Avron. A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases, J. Autom. Reasoning, כרך 22, מספר 2, עמודים 263–309, 1999.
11 Ofer Arieli and Arnon Avron. Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations, באוסף Anthony Hunter and Simon Parsons (עורכים), Proceediongs of the 5th European Conference Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Lecture Notes in Computer Science, כרך 1638, עמודים 11–21, Springer, 1999.
1998
10 Ofer Arieli. Four-valued Logics for Reasoning with Uncertainty in Prioritized Data, באוסף Proceedings of the 7th Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU'98, עמודים 503–510, 1998.
9 Ofer Arieli and Arnon Avron. The Value of the Four Values, Artif. Intell., כרך 102, מספר 1, עמודים 97–141, 1998.
8 Ofer Arieli and Arnon Avron. The Logical Role of the Four-Valued Bilattice, באוסף Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science, LICS'98, עמודים 118–126, IEEE Computer Society, 1998.
7 Ofer Arieli and Arnon Avron. Bilattices and paraconsistency, באוסף Proceedings of the 1st World Congress on Paraconsistency, WCP'97, 1998.
1997
6 Ofer Arieli. A Four-valued Approach for Handling Inconsistency in Prioritized Knowledge-Bases., באוסף Proceedings of the 10th Annual Conference of the Florida AI Research Society, FLAIRS'97, עמודים 92–96, 1997.
1996
5 Ofer Arieli and Arnon Avron. Reasoning with Logical Bilattices, Journal of Logic, Language and Information, כרך 5, מספר 1, עמודים 25–63, 1996.
4 Ofer Arieli and Arnon Avron. Four-Valued Diagnoses for Stratified Knowledge-Bases, באוסף Dirk van Dalen and Marc Bezem (עורכים), Proceedings of the 10th International Workshop on Computer Science Logic, CSL '96, Selected Papers, Lecture Notes in Computer Science, כרך 1258, עמודים 1–17, Springer, 1996.
3 Ofer Arieli and Arnon Avron. Automatic Diagnoses for Properly Stratified Knowledge-Bases, באוסף Proceedings of the 8th International Conference on Tools with Artificial Intelligence, ICTAI'96, עמודים 392–399, IEEE Computer Society, 1996.
1995
2 Ofer Arieli and Arnon Avron. A Bilattice-based Approach to Recover Consistent Data From Inconsistent Knowledge-Bases, באוסף Proceedings of the 4th Bar-Ilan Symposium on Foundations of Artificial Intelligence, BISFAI'95, עמודים 14–23, AAAI Press, 1995.
1994
1 Ofer Arieli and Arnon Avron. Logical Bilattices and Inconsistent Data, באוסף Proceedings of the 9th Annual Symposium on Logic in Computer Science, LICS'94, עמודים 468–476, IEEE Computer Society, 1994.