On-line
available papers (by year)
·
Ofer Arieli, Kees van
Berkel, Badran Raddaoui, Christian Straßer.
Deontic reasoning based on inconsistency measures. Proceedings of the
21st International Conference on Knowledge Representation and Reasoning (KR'24), pages 71-81,
November 2024. pdf
·
Jesse Heyninck, Ofer
Arieli. Semantics for non-flat assumption-based argumentation,
revisited. Proceedings of the
33rd International Joint Conference on Artificial Intelligence (IJCAI'24),
pages 3413-3420, ijcai.org, August 2024. pdf
·
Jesse Heyninck, Ofer
Arieli, Bart Bogaerts. Non-deterministic
approximation fixpoint theory and its application in
disjunctive logic programming. Journal of Artificial Intelligence 331,
Article 104110, 2024. pdf
·
Ofer Arieli, Jesse Heyninck.
Collective attacks in assumption-based argumentation. Proceedings of the
39th ACM/SIGAPP Symposium On Applied Computing (SAC'24) Knowledge Representation
and Reasoning Track, pages.746--753, 2024. pdf
·
Ofer Arieli, Kees van
Berkel, Christian Straßer.
Defeasible normative reasoning: A proof-theoretic integration of logical
argumentation. Proceeding of the 38th Annual AAAI Conference on Artificial
Intelligence (AAAI'24), pages 10450-10458, 2024. pdf
·
Ofer.Arieli, AnneMarie Borg, and Christian Strasser.
A postulate-driven study of logical argumentation. Journal of Artificial
Intelligence 322, paper 103966, 2023. pdf
·
Ofer Arieli and Jesse Heyninck.
Simple contapositive assumption-based argumentation
with partially-ordered preferences.
Proc. 20th International Wconference on
Knowledge Representation and Reasoning (KR23), pages 55-64, ijcai.org,
2023. pdf
·
Ofer.Arieli, AnneMarie Borg, Matthis Hesse and
Christian Strasser. Explainable logic-based
argumentation. Proc. 9th International Conference on Computational Models of
Argument (COMMA'20), Frontiers in Artificial Intelligence and Applications
No.353, pages 32-43, IOS press, September 2022. pdf
·
Ofer Arieli, AnneMarie
Borg, Matthis Hesse and Christian Strasser.
Abductive reasoning with sequent-based argumentation
(Extende abstract). Proc. 20th International Workshop on
Non-Monotonic Reasoning (NMR'22), CEUR Workshop Proceedings No.3197, pages
143-146, CEUR-WS.org, 2022. pdf
·
Ofer Arieli, Kees van
Berkel, and Christian Strasser.
Annotated sequent calculi for paraconsistent reasoning and their relations to
logical argumentation. Proc. 31st International Joint Conference on
Artificial Intelligence (IJCAI'22), pages 2532--2538, ijcai.org, July
2022. pdf
·
Ofer Arieli. Four-valued semantics for abstract
argumentation frameworks using (extensions of) Dunn-Belnap
four-valued logic. Relevance Logics and other Tools for Reasoning: Essays in
Honor of J. Michael Dunn, K.Bimbo, editor, pages
31-53, Tributes Vol.46,
College Publications, 2022.
2021
- Ofer Arieli and Jesse Heyninck.
Simple contrapositive assumption-based argumentation frameworks, Part II:
Reasoning with Preferences. Journal of Approximate Reasoning 139,
pages 28-53, 2021. pdf
- Jesse
Heyninck and Ofer Arieli. Approximation fixpoint theory for non-deterministic operators and
its application in disjunctive logic programming. Proc. 18th
International Conference on Knowledge Representation and Reasoning
(KR'21), pages 334-344, 2021. pdf
- Ofer
Arieli, AnneMarie Borg and Christian Strasser. Characterizations and classifications of
argumentative entailments. Proc. 18th International Conference on
Knowledge Representation and Reasoning (KR'21), pages 52-63, 2021. pdf
- Ofer
Arieli, AnneMarie Borg and Jesse Heyninck, Christian Strasser.
Logic-based approaches to formal argumentation. Journal of Applied
Logics The IfCoLog
Journal of Logics and their Applications 8(6), pages 1793-1898, 2021. pdf (Also: Chapter 12 of the Handbbok of Formal Argumentation, Vol.2, D.Gabbay, M.Giacomin, G.R..Simari, M.Thimm, editors,
2021)
- Ofer
Arieli and Anna Zamansky. Non-classical
Logics - Between Semantics and Proof Theory (In Relation to Arnon Avron's Work). In: Outstanding
Contributions to Logic, volume 21, pages 1-11, Springer, 2021. pdf
- Ofer
Arieli and Anna Zamansky (editors). Arnon Avron on Semantics and Proof Theory of Non-Classical
Logics. Outstanding Contributions to Logic, volume 21,
Springer, 2021 (ISBN: 978-3-030-71258-7). cover
- AnneMarie Borg, Christian Strasser
and Ofer Arieli. A generalized proof-theoretic approach to logical
argumentation based on hypersequents. Studia Logica
109(1), pages 167-238, 2021. pdf
2020
- Jesse Heyninck and Ofer
Arieli. Argumentative reflections of approximation fixpoint
theory. Proc. 8th International Conference on Computational Models of
Argument (COMMA'20), Frontiers in Artificial Intelligence and
Applications Vol.326, pages 215-226, IOS press, 2020. pdf
- Ofer Arieli and Christian Strasser,
On minimality and consistency tolerance in
logical argumentation frameworks. Proc. 8th International Conference on
Computational Models of Argument (COMMA'20), Frontiers in Artificial
Intelligence and Applications Vol.326, pages 91-102, IOS press, 2020.
pdf
- Ofer Arieli and Jesse Heyninck.
Prioritized simple contrapositive assumption-based frameworks. Proc.
24th European Conference on Artificial Intelligence (ECAI’20).
Frontiers in Artificial Intelligence and Applications Vol.325, pages
608-615, IOS Press, 2020. pdf
- Jesse Heyninck and Ofer
Arieli. Simple contrapositive assumption-based argumentation frameworks. Journal
of Approximate Reasoning 121, pages 103-124, 2020. pdf
- Ofer
Arieli, AnneMarie Borg and Cristian Strasser. Tuning logical argumentation frameworks: A
postulate-derived approach. Proc. 33rd International Florida Artificial
Intelligence Research Society Conference (FLAIRS-33),
pages 557-562, AAAI Press, 2020. pdf
2019
- Ofer Arieli, AnneMarie
Borg and Jesse Heyninck. A review of the relations between
logical argumentation and reasoning with maximal consistency. Annals of
Mathematics and Artificial Intelligence. 87(3), pages 187-226, 2019.
pdf
- Jesse Heyninck and Ofer
Arieli. An argumentative
characterization of disjunctive logic programming. Proc.19th EPIA
Conference on Artificial Intelligence (EPIA'19), LNAI 11805, pages
526-538, 2019. pdf
- Ofer Arieli and Christian Strasser.
Logical argumentation by dynamic proof systems. Theoretical Computer
Science 781, pages 63-91, 2019 pdf
- Jesse Heyninck and Ofer
Arieli. Simple contrapositive assumption-based frameworks. Proc. 15th
International Conference on Logic Programming and Nonmonotonic
Reasoning (LPNMR'19), LNCS 11481, pages 75-88, Springer, 2019. pdf
- Jesse Heyninck and Ofer
Arieli. Simple contrapositive assumption-based frameworks - Extended
abstract. Proc 18th International
Conference on Autonomous Agents and Multiagent
Systems (AAMAS'19), pages 1018-1020, ACM Press. pdf
- Christian Strasser and
Ofer Arieli. Normative reasoning by sequent-based argumentation. Journal
of Logic and Computation 29(3), pages 387-415, 2019. ps pdf
2018
- Ofer Arieli, AnneMarie Borg and Christian.Strasser. Reasoning with maximal consistency by
argumentative approaches. Journal of Logic and Computation 28(7),
pages 1523-1563, 2018. pdf
- Jesse Heyninck and Ofer
Arieli. On the semantics of simple contrapositive assumption-based
argumentation frameworks. Proc. 7th International Conference on
Computational Models of Argument (COMMA'18) Frontiers in Articial Intelligence and Applications Vol.305, pages
9-20, IOS Press, 2018. pdf
- Ofer
Arieli, AnneMarie Borg and Christian.Strasser.
Prioritized sequent-based argumentation. Proc. 17th International
Conference on Autonomous Agents and Multiagent
Systems (AAMAS'18), pages 1105-1113, ACM Press, 2018. pdf
- AnneMarie Borg and Ofer Arieli. Hypersequential
argumentation frameworks: An instantiation in the modal logic S5. Proc.
17th International Conference on Autonomous Agents and Multiagent
Systems (AAMAS'18), pages 1097-1104, ACM Press, 2018. pdf
- Arnon Avron, Ofer Arieli and
Anna Zamansky. Theory of Effective Propositional Paraconsistent Logics.
Studies in Logic, volume 75 (subseries: Mathematical
Logic and Foundations), College Publications, 2018 (ISBN:~978-1-84890-270-1). cover front
- Jesse
Heyninck and Ofer Arieli. On the semantics of
simple contrapositive assumption-based argumentation frameworks. Proc.
2nd Chinese Conference on Logic and Argumentation (CLAR'18), 2018. pdf
- AnneMarie.Borg, Ofer Arieli, and Christian Strasser. Hypersequent-based
argumentation: An instantiation in the relevance logic RM. Proc.
International Workshop on Theory and Applications of Formal Argument
(TAFA'17), 2017. Post proceedings (revised selected papers) LNAI 10757,
pages 17-34, Springer, 2018. pdf
- Ofer
Arieli, AnneMarie.Borg and Christian Strasser. Argumentative approaches to reasoning with
consistent subsets of premises. Proc. 30th International Conference on
Industrial, Engineering, Other Applications of Applied Intelligent Systems
(IEA/AIE'17), LNAI 1035, pages 455-465, Springer 2017. pdf
- Ofer Arieli and Arnon Avron. Four-valued paradefinite
logics. Studia Logica
105(6), pages 1087-1122, 2017.
ps pdf
2016
- Ofer Arieli. On the acceptance of loops in
argumentation frameworks. Journal of Logic and Computation 26(4),
pages 1203-1234, 2016. ps pdf
- 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
- Ofer
Arieli and Anna Zamansky. A graded approach to database repair by
context-aware distance semantics. Fuzzy Sets and Systems 298, pages
4-21, 2016. pdf
- Ofer Arieli and Arnon Avron. Minimal paradefinite
logics for reasoning with incompleteness and inconsistency. Proc. 1st
International Conference on Formal Structures for Computation and
Deduction (FSCD'16), pages 7:1-7:15, LIPIcs,
2016. pdf
- Ofer Arieli and Christian Strasser.
Argumentative approaches to reasoning with maximal consistency. Proc.
15th International Conference on Principles of Knowledge Representation
and Reasoning (KR'16), AAAI Press, pages 509-512, 2016. ps pdf
2015
- Ofer Arieli. Conflict-free and conflict-tolerant
semantics for constrained argumentation frameworks. Journal of Applied
Logic 13(4), pages 582-604, 2015.
ps pdf
- Ofer
Arieli and Arnon Avron.
Three-valued paraconsistent propositional logics. In: New Directions in
Paraconsistent Logic. J. Y. Beziau, M.
Chakraborty and S. Dutta, editors, Chapter 4, pages 91-129, Springer,
2015. ps pdf
- Ofer
Arieli and Christian Strasser. Sequent-based
logical argumentation. Journal of Argument and Computation 6(1), pages
73-99, 2015. ps pdf
- Ofer
Arieli and Anna Zamansky. A dissimilarity-based framework for generating
inconsistency-tolerant logics. Annals of Mathematics and Artificial
Intelligence 73(1-2), pages 47-73, 2015. ps pdf
2014
- Ofer
Arieli and Christian Strasser. Dynamic
derivations for sequent-based logical argumentation. Proc. 5th
International Conference on Computational Models of Argument
(COMMA'14), Frontiers in Artificial Intelligence and Applications 266,
pages 89-100, IOS Press, 2014. ps pdf
- Ofer
Arieli and Tjitze Reinstra.
Preferential reasoning based on abstract argumentation semantics. Proc.
5th International Conference on Computational Models of Argument
(COMMA'14), Frontiers in Artificial Intelligence and Applications 266,
pages 77-88, IOS Press, 2014. ps pdf
- 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
- Christian Strasser and
Ofer Arieli. Sequent-based argumentation for normative reasoning. Proc.
12th International Conference on Deontic Logic and Normative Systems
(DEON'14), LNAI 8554, pages 224--240, Springer, 2014. ps pdf
2013
- Ofer
Arieli. A sequent-based representation of logical argumentation. Proc.
14th Workshop on Computational Logic in Multi-Agent Systems (CLIMA’13),
Special Session on Argumentation Technologies LNAI 8143, pages 69-85,
Springer, 2013. ps pdf
- Ofer
Arieli. Towards constraints handling by conflict tolerance in abstract
argumentation frameworks. Proc. 26th FLAIRS conference (FLAIRS’13),
Special Track on Uncertain Reasoning, pages 585-590, AAAI Press,
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
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
- 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 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
- 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 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
- Alvaro Cortes Calabuig, Marc Denecker,
Ofer Arieli, Bert Van Nuffelen, and Maurice Bruynooghe. On the local closed-word assumption of
data-sources. Proc. 17th Belgium-Netherlands Conference on Artificial
Intelligence (BNAIC'05), pages 333-334, 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 International Conference
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 Conference 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 International
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 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
- Ofer Arieli, Marc Denecker, Bert Van Nuffelen,
and Maurice Bruynooghe. Database repair by
signed formulae. Proc. 3rd Conference 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 Conference 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. International Conference
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 Conference 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 Conference 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 Conference 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. Annual 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 Annual Symposium 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 Annual Conference 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. Annual Conference 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 International
Conference 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 Symposium 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 Annual Symposium 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