A dissimilarity-based framework for
generating inconsistency-tolerant logics.
Annals of Mathematics and Artificial Intelligence, Accepted, 2013. ps pdf
Towards constraints handling by conflict tolerance in
abstract argumentation frameworks
Proc. 26th FLAIRS conference, Special track on Uncertain Reasoning, Accepted, 2013. ps pdf
·
Ofer Arieli and Martin Caminada.
A QBF-based
formalization of abstract argumentation semantics.
Journal of Applied Logic 11(2), pages 229-252,
2013. ps pdf
·
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
·
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
·
Ofer Arieli and Anna Zamansky.
Similarity-based inconsistency-tolerant logics.
Proc.
12th European Conf. 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 Ann. Symp. 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
·
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 Conf. 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
·
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. Conf. 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
·
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 Conf. 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 Int. 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 Int. Conf. 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
·
Alvaro Cortes Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen,
and Maurice Bruynooghe.
On the local closed-word assumption of data-sources.
Proc. 8th Int. Conf. on Logic Programming and Non-monotonic Reasoning (
·
Ofer Arieli.
Paraconsistent preferential reasoning by signed quantified Boolean
formulae.
Proc. 16th European Conf. 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 Conf. 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
·
Ofer Arieli.
Reasoning with different levels of uncertainty.
Journal
of Applied Non-Classical Logics 13(3-4), pages 317-343, 2003. ps pdf