On-line available papers (by year)
2010
·
Ofer Arieli and Anna Zamansky.
Simplified forms of computerized reasoning with distance semantics.
To appear in the Journal of Applied Logic. 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, Ofer Arieli, and Maurice
Bruynooghe.
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), 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
- Ofer Arieli and Anna Zamansky.
Non-deterministic distance semantics for handling incomplete and
inconsistent data.
Proc. 10th European Conf. on Symbolic and Quantitative Approaches to
Reasoning with Uncertainty (ECSQARU'09), LNAI 5590, pages 793-804,
Springer, 2009. ps pdf
- Ofer Arieli and Anna Zamansky.
Distance-based non-deterministic semantics for reasoning with uncertainty.
The Logic Journal of the IGPL 17(4), pages 325-350, 2009. ps pdf
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 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
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. 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
- Glad Deschrijver, Ofer Arieli, Chris Cornelis, and Etienne Kerre.
A bilattice-based framework for handling graded
truth and imprecision.
Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 15(1), pages
13-41, 2007. ps pdf
- Chris Cornelis, Ofer Arieli,
Glad Deschrijver, and Etienne Kerre.
Uncertainty modeling by bilattice-based squares
and triangles.
IEEE Transactions on Fuzzy Systems 15(2), pages 161-175, 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 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
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 Int. Conf. on Logic Programming and Non-monotonic Reasoning (LPNMR'05), LNAI 3662, pages 145-157, Springer,
2005. ps pdf
- Bert Van Nuffelen, Ofer Arieli,
Alvaro Cortes Calabuig, and Maurice Bruynooghe.
An ID-logic formalization of the composition of autonomous databases.
Proc. 8th Int. Conf. on Logic Programming and Non-monotonic Reasoning (LPNMR'05), LNAI 3662, pages 132-144, Springer,
2005. ps pdf
- Ofer Arieli, Chris Cornelis,
Glad Deschrijver, and Etienne Kerre.
Bilattice-based squares and triangles.
Proc. 8th European Conf. on Symbolic and Quantitative Approaches to
Reasoning with Uncertainty (ECSQARU'05), LNAI 3571, pages 563-575,
Springer, 2005. ps pdf
2004
- Ofer Arieli, Chris Cornelis,
Glad Deschrijver, and Etienne Kerre.
Relating intuitionistic fuzzy sets and
interval-valued fuzzy sets through bilattices.
Proc. 6th Int. FLINS Conf. on Applied Computational Intelligence
(FLINS'04), pages 57-64, World Scientific, 2004. ps pdf
·
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, Marc Denecker, Bert Van Nuffelen, and Maurice
Bruynooghe.
Database repair by signed formulae.
Proc. 3rd Conf. on Foundations of Information and Knowledge Systems
(FoIKS'04), LNCS 2942, pages 14-30, Springer, 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
- Ofer Arieli.
Preferential logics for reasoning with graded uncertainty.
Proc. 7th Conf. on Symbolic and Quantitative Approaches to Reasoning with
Uncertainty (ECSQARU'03), LNAI 2711, pages 515-527, Springer, 2003. ps pdf
2002
- Ofer Arieli.
Paraconsistent declarative semantics for
extended logic programs.
Annals of Mathematics and Artificial Intelligence 36(4), pages 381-417,
2002. ps
pdf
- Ofer Arieli, Marc Denecker, Bert Van Nuffelen, and Maurice
Bruynooghe.
Repairing inconsistent databases: A model-theoretic approach and abductive reasoning.
Proc. ICLP'02 Workshop on Paraconsistent Computational
Logic (PCL'02), FLOC'2002, pages 51-65, 2002. ps pdf
- Ofer Arieli.
Paraconsistent semantics for extended logic programs.
Proc. Int. Conf. of Artificial Intelligence (IC-AI'02), Vol.III, pages
1199-1205, CMSRA Press, 2002. ps pdf
- Ofer Arieli and Marc Denecker.
Modeling paraconsistent reasoning by classical
logic.
Proc. 2nd Conf. on Foundations of Information and Knowledge Systems
(FoIKS'02), LNCS 2284, pages 1-14, , Springer,
2002. ps pdf
2001
- Ofer Arieli, Bert Van Nuffelen, Marc Denecker and Maurice
Bruynooghe.
Coherent composition of distributed knowledge-bases through abduction.
Proc. 8th Conf. on Logic for Programming, Artificial Intelligence and
Reasoning (LPAR'01), LNAI 2250, pages 620-635, Springer, 2001. ps pdf
2000
- Ofer Arieli.
Reasoning with modularly pointwise preferential
relations.
Proc. 12th Belgian-Dutch Artificial Intelligence Conference (BNAIC'00),
pages 61-68, BNVKI Association, 2000.
ps pdf
- Ofer Arieli.
An algorithmic approach to recover inconsistent knowledge-bases.
Proc. 7th Workshop on Logic in Artificial Intelligence (JELIA'00), LNAI
1919, pages 148-162, Springer, 2000.
ps pdf
- Ofer Arieli and Arnon Avron.
Bilattices and paraconsistency.
Frontiers of Paraconsistent Logic, pages 11-27,
Studies in Logic and Computation Vol.8, Research Studies Press, 2000. ps pdf
- Ofer Arieli and Arnon Avron.
General patterns for nonmonotonic reasoning:
From basic entailments to plausible relations.
The Logic Journal of the IGPL 8(2), pages 119-148, 2000. ps pdf
1999
- Ofer Arieli.
Four-valued logics for reasoning with uncertainty in prioritized data.
Information, Uncertainty, Fusion, pages 263-309, Kluwer
Academic Publishers, 1999. ps pdf
- Ofer Arieli and Arnon Avron.
Nonmonotonic and paraconsistent
reasoning: From basic entailments to plausible relations.
Proc. 5th Conf. on Symbolic and Quantitative Approaches to Reasoning with
Uncertainty (ECSQARU'99), LNAI 1638, pages 11-22, Springer-Verlag, 1999.
ps pdf
- Ofer Arieli and Arnon Avron.
A model-theoretic approach for recovering consistent data from
inconsistent knowledge-bases.
Journal of Automated Reasoning 22(3), pages 263-309, 1999. ps pdf
1998
- Ofer Arieli and Arnon Avron.
Using four values for computerized reasoning.
Ann. Conf. on Computer Science Logic (CSL'98), 1998. ps pdf
- Ofer Arieli.
Four-valued logics for reasoning with uncertainty in prioritized data.
Proc. 7th Conf. on Information Processing and Management of Uncertainty in
Knowledge-Based Systems (IPMU'98), pages 503-510, 1998. ps pdf
- Ofer Arieli and Arnon Avron.
The value of the four values.
Artificial Intelligence 102(1), pages 97-141, 1998. ps pdf
- Ofer Arieli and Arnon Avron.
The logical role of the four-valued bilattice.
Proc. 13th Ann. Symp. on
Logic in Computer Science (LICS'98) pages 118-126, IEEE Press, 1998. ps pdf
1997
- Ofer Arieli and Arnon Avron.
Bilattices and paraconsistency.
First World Congress on Paraconsistency
(WCP'97), Gent, Belgium, 1997. ps pdf
- Ofer Arieli.
A four-valued approach for handling inconsistency in prioritized
knowledge-bases.
Proc. 10th Ann. Conf. of the Florida AI Research Society (FLAIRS'97),
pages 92-96, 1997. ps pdf
- Ofer Arieli and Arnon Avron.
Four-valued diagnoses for stratified knowledge-bases.
Proc. Ann. Conf. on Computer Science Logic (CSL'96), LNCS 1258, pages
1-17, Springer-Verlag, 1997. ps pdf
1996
- Ofer Arieli and Arnon Avron.
Automatic diagnoses for properly stratified knowledge-bases.
Proc. 8th Int. Conf. on Tools with Artificial Intelligence (ICTAI'96), pages
392-399, IEEE Press, 1996. ps pdf
- Ofer Arieli and Arnon Avron.
Reasoning with logical bilattices.
Journal of Logic, Language, and Information 5(1), pages 25-63, 1996. ps pdf
1995
- Ofer Arieli and Arnon Avron.
A bilattice-based approach to recover consistent
data from inconsistent knowledge-bases.
Proc. 4th Bar-Ilan Symp. on
Foundations of Artificial Intelligence (BISFAI'95), pages 14-23, AAAI
Press, 1995. ps pdf
1994
- Ofer Arieli and Arnon Avron.
Logical bilattices and inconsistent data.
Proc. 9th Ann. Symp. on
Logic in Computer Science (LICS'94), pages 468-476, IEEE Press, 1994. ps pdf
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