Ofer Arieli

School of Computer Science

Academic College of Tel-Aviv

Weston building room 364

view: Formal, table, yearly. linear.

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

All publications

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