On-line available papers (by year)

2015  2016  2017

2008  2009  2010  2011  2012  2013  2014

2001  2002  2003  2004  2005  2006  2007

1994  1995  1996  1997  1998  1999  2000 

2017

 

 

 

2016

 

·         Ofer Arieli and Christian Strasser. Deductive argumentation by enhanced sequent calculi and dynamic derivations. Electronic Notes in Theoretical Computer Science 323, pages 21-37, 2016.  pdf

 

 

 

2015

 

 

 

 

2014

 

 

·         Anna Zamansky, Ofer Arieli and Kostas Stefanidis. Context-aware distance semantics for inconsistent database systems. Proc. 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Base Systems (IPMU'14) Part II, CCIS 443, pages 194-203, Springer, 2014.  ps  pdf

 

 

2013

 

 

2012

·         Ofer Arieli. Conflict-tolerant semantics for argumentation frameworks. Proc. 13th European Conference on Logics in Artificial Intelligence (JELIA'12), LNCS 7519, pages 28-40, Springer, 2012.  ps  pdf

 

·         Ofer Arieli and Martin Caminada. A general QBF-based formalization of abstract argumentation theory.  Proc. 4th International Conference on Computational Models of Argument (COMMA'12), Frontiers in Artificial Intelligence and Applications 254, pages 105-116, IOS Press, 2012. ps  pdf

 

·         Ofer Arieli and Anna Zamansky. Inconsistency-tolerance in knowledge-based systems by dissimilarities. Proc. 7th International Symposium on Foundations of Information and Knowledge Systems (FoIKS'12), LNCS 7153, pages 34-50, Springer, 2012.  ps  pdf

2011

·         Ofer Arieli, Arnon Avron and Anna Zamansky. Ideal paraconsistent logics. Studia Logica 99(1-3), pages 31-60, 2011.  ps  pdf

 

·         Ofer Arieli, Arnon Avron and Anna Zamansky. What is an ideal logic for reasoning with inconsistency? Proc. 22nd International Joint Conference on Artificial Intelligence (IJCAI’11), pages 706-711, AAAI Press, 2011.  ps  pdf

 

·         Ofer Arieli, Arnon Avron and Anna Zamansky. Maximal and pre-maximal paraconsistency in the framework of three-valued semantics. Studia Logica 97(1), pages 31-60, 2011.  ps  pdf

 

·         Ofer Arieli and Anna Zamansky. A framework for reasoning under uncertainty based on non-deterministic distance semantics. International Journal of Approximate Reasoning 52(2), pages 184-211, 2011.  ps  pdf

 

·         Ofer Arieli and Anna Zamansky. Simplified forms of computerized reasoning with distance semantics. Journal of Applied Logic 9(1), pages 1-22, 2011.  ps  pdf

2010

·         Ofer Arieli and Anna Zamansky. Similarity-based inconsistency-tolerant logics. Proc. 12th European Conference on Logics in Artificial Intelligence (JELIA’10), LNAI 6341, pages 11-23, Springer, 2010.  ps  pdf

 

·         Marc Denecker, Alvaro Cortes Calabuig, Maurice Bruynooghe and Ofer Arieli. Towards a logical reconstruction of a theory for locally closed databases. ACM Transactions on Database Systems 35(3), Article 22, 2010.  ps  pdf  appendix-ps  appendix-pdf

 

·         Arnon Avron, Ofer Arieli and Anna Zamansky. On strong maximality of paraconsistent finite-valued logics. Proc. 25th Annual Symposium on Logic in Computer Science (LICS'10), pages 304-313, IEEE Press, 2010.  ps  pdf

 

·         Ofer Arieli, Arnon Avron and Anna Zamansky. Maximally paraconsistent three-valued logics. Proc. 12th International Conference on Principles of Knowledge Representation and Reasoning (KR'10), pages 310-318, AAAI Press, 2010.  ps  pdf

 

·         Ofer Arieli. On the application of the Disjunctive Syllogism in paraconsistent logics based on four states of information. Proc. 12th International Conference on Principles of Knowledge Representation and Reasoning (KR'10), pages 302-309, AAAI Press, 2010.  ps  pdf

2009

2008

·         Ofer Arieli. Reasoning with prioritized information by iterative aggregation of distance functions. Journal of Applied Logic 6(4), pages 589-605, 2008.  ps  pdf

·         Alvaro Cortes Calabuig, Marc Denecker, Ofer Arieli, and Maurice Bruynooghe. Accuracy and efficiency of fixpoint methods for approximate query answering in locally complete databases. Proc. 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), pages 81-91, AAAI Press, 2008.  ps  pdf

·         Ofer Arieli and Anna Zamansky. Reasoning with uncertainty by Nmatrix-metric semantics. Proc. 15th Workshop on Logic, Language, Information and Computation (WoLLIC'08), LNAI 5110, pages 69-82, Springer, 2008.  ps  pdf 

·         Alvaro Cortes Calabuig, Marc Denecker, Ofer Arieli, and Maurice Bruynooghe. Efficient fixpoint methods for approximate query answering in locally complete databases. Proc. LID’08 – Logic in Databases, 2008.  ps  pdf

·         Ofer Arieli and Anna Zamansky. Some simplified forms of reasoning with distance-based entailments. Proc. 21st Canadian Conf. on Artificial Intelligence (AI’08), LNAI 5032, pages 36-47, Springer, 2008.  ps  pdf

·         Ofer Arieli and Anna Zamansky. Distance-based non-deterministic semantics. Proc. 1st Conf. on Artificial General Intelligence (AGI’08), Frontiers in Artificial Intelligence, volume 171, pages 39-50, IOS Press, 2008.  ps  pdf

·         Ofer Arieli. Reasoning with prioritized data by aggregation of distance functions. Proc. 1st Conf. on Artificial General Intelligence (AGI’08), ), Frontiers in Artificial Intelligence, volume 171, pages 27-38, IOS Press, 2008.  ps  pdf

·         Ofer Arieli. Distance-based paraconsistent logics. International Journal of Approximate Reasoning 48(3), pages 766-783, 2008.  ps  pdf

2007

·         Ofer Arieli, Marc Denecker, and Maurice Bruynooghe. Distance semantics for database repair. Annals of Mathematics and Artificial Intelligence 50(3-4), pages 389-415, 2007.  ps  pdf

·         Alvaro Cortes Calabuig, Marc Denecker, Ofer Arieli, and Maurice Bruynooghe. Approximate query answering in locally complete databases. Proc. 22nd National Conf. on Artificial Intelligence (AAAI’07), pages 397-402, AAAI Press, 2007.  ps  pdf

·         Ofer Arieli. Commonsense reasoning by distance semantics. Proc. 11th. Conference on Theoretical Aspects of Rationality and Knowledge (TARK’07), pages 33-41, 2007.  ps  pdf

·         Ofer Arieli. Paraconsistent reasoning and distance minimization. Proc. CiE'07 - Computation and Logic in the Real World. In: Quaderni del Dipartimento di Scienze Matematiche e Informatiche 'Roberto Magari', Universita di Siena, pages 53-61, 2007.  ps  pdf

·         Ofer Arieli. Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae. ACM Transactions on Computational Logic 8(3), Article 18, 2007.  ps  pdf

2006

·         Alvaro Cortes Calabuig, Marc Denecker, Ofer Arieli, and Maurice Bruynooghe. Representation of partial knowledge and query answering in locally complete databases. Proc. 13th Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'06), LNCS 4246, pages 407-421, Springer, 2006.  ps  pdf

·         Ofer Arieli, Marc Denecker, and Maurice Bruynooghe. Distance-based repairs of databases. Proc. 10th European Conference on Logics in Artificial Intelligence (JELIA’06), LNAI 4160, pages 43-55, Springer 2006.  ps  pdf

·         Ofer Arieli. Distance-based semantics for multiple-valued logics. Proc. 11th International Workshop on Non-Monotonic Reasoning (NMR’06), pages 153-161, 2006.  ps  pdf 

·         Ofer Arieli, Chris Cornelis, and Glad Deschrijver. Preference modeling by rectangular bilattices. Proc. 3rd International Conference on Modeling Decisions for Artificial Intelligence (MDAI'06), LNAI 3885, pages 22-33, Springer, 2006.  ps  pdf

·         Ofer Arieli, Marc Denecker, Bert Van Nuffelen, and Maurice Bruynooghe. Computational methods for database repair by signed formulae. Annals of Mathematics and Artificial Intelligence 46(1-2), pages 4-37, 2006.  ps  pdf

2005

·         Alvaro Cortes Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, and Maurice Bruynooghe. On the local closed-word assumption of data-sources. Proc. 8th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR'05), LNAI 3662, pages 145-157, Springer, 2005.  ps  pdf

2004

·         Ofer Arieli. Paraconsistent preferential reasoning by signed quantified Boolean formulae. Proc. 16th European Conference on Artificial Intelligence (ECAI’04), pages 773-777, IOS Press, 2004.  ps  pdf

·         Bert Van Nuffelen, Alvaro Cortes Calabuig, Marc Denecker, Ofer Arieli, and Maurice Bruynooghe. Data integration using ID-logic. Proc. 16th Conference on Advanced Information System Engineering (CAISE’04), LNCS 3084, pages 67-81, Springer, 2004.  ps  pdf

·         Ofer Arieli, Marc Denecker, Bert Van Nuffelen, and Maurice Bruynooghe. Coherent integration of databases by abductive logic programming. Journal of Artificial Intelligence Research 21, pages 245-286, 2004.  ps  pdf

2003

·         Ofer Arieli. Reasoning with different levels of uncertainty. Journal of Applied Non-Classical Logics 13(3-4), pages 317-343, 2003.  ps  pdf

·         Ofer Arieli and Marc Denecker. Reducing preferential paraconsistent reasoning to classical entailment. Journal of Logic and Computation 13(4), pages 557-580, 2003.  ps  pdf

2002

2001

2000

1999

1998

1997

1996

1995

1994

Ph.D. Thesis

·         Ofer Arieli. Multipe-valued logics for reasoning with uncertainty. Ph.D. Dissertation, Dept. of Computer Science, Tel-Aviv University, 1999 (258 pages).  ps   pdf


Back to homepage