Reasoning with logical bilattices. Zbl 0851.03017
Arieli, Ofer; Avron, Arnon |
|
1996
|
The value of the four values. Zbl 0928.03025
Arieli, Ofer; Avron, Arnon |
|
1998
|
Ideal paraconsistent logics. Zbl 1248.03046
Arieli, O.; Avron, A.; Zamansky, A. |
|
2011
|
Theory of effective propositional paraconsistent logics. Zbl 1448.03001
Avron, Arnon; Arieli, Ofer; Zamansky, Anna |
|
2018
|
Maximal and premaximal paraconsistency in the framework of three-valued semantics. Zbl 1256.03030
Arieli, Ofer; Avron, Arnon; Zamansky, Anna |
|
2011
|
Four-valued paradefinite logics. Zbl 1417.03190
Arieli, Ofer; Avron, Arnon |
|
2017
|
Distance semantics for database repair. Zbl 1126.68034
Arieli, Ofer; Denecker, Marc; Bruynooghe, Maurice |
|
2007
|
Distance-based paraconsistent logics. Zbl 1189.03035
Arieli, Ofer |
|
2008
|
Three-valued paraconsistent propositional logics. Zbl 1423.03092
Arieli, Ofer; Avron, Arnon |
|
2015
|
Reducing preferential paraconsistent reasoning to classical entailment. Zbl 1034.03023
Arieli, Ofer; Denecker, Marc |
|
2003
|
A bilattice-based framework for handling graded truth and imprecision. Zbl 1121.03073
Deschrijver, Glad; Arieli, Ofer; Cornelis, Chris; Kerre, Etienne E. |
|
2007
|
Paraconsistent declarative semantics for extended logic programs. Zbl 1015.68121
Arieli, Ofer |
|
2002
|
General patterns for nonmonotonic reasoning: From basic entailments to plausible relations. Zbl 0966.03024
Arieli, Ofer; Avron, Arnon |
|
2000
|
Coherent integration of databases by abductive logic programming. Zbl 1080.68570
Arieli, Ofer; Denecker, Marc; Van Nuffelen, Bert; Bruynooghe, Maurice |
|
2004
|
A QBF-based formalization of abstract argumentation semantics. Zbl 1284.68533
Arieli, Ofer; Caminada, Martin W. A. |
|
2013
|
Bilattices and paraconsistency. Zbl 0994.03021
Arieli, Ofer; Avron, Arnon |
|
2000
|
Minimal paradefinite logics for reasoning with incompleteness and inconsistency. Zbl 1387.03026
Arieli, Ofer; Avron, Arnon |
|
2016
|
Reasoning with maximal consistency by argumentative approaches. Zbl 1444.68175
Arieli, Ofer; Borg, AnneMarie; Straßer, Christian |
|
2018
|
On the semantics of simple contrapositive assumption-based argumentation frameworks. Zbl 1430.68307
Heyninck, Jesse; Arieli, Ofer |
|
2018
|
Conflict-tolerant semantics for argumentation frameworks. Zbl 1361.68215
Arieli, Ofer |
|
2012
|
Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae. Zbl 1367.68274
Arieli, Ofer |
|
2007
|
Computational methods for database repair by signed formulae. Zbl 1097.68549
Arieli, Ofer; Denecker, Marc; Van Nuffelen, Bert; Bruynooghe, Maurice |
|
2006
|
A review of the relations between logical argumentation and reasoning with maximal consistency. Zbl 1474.68333
Arieli, Ofer; Borg, AnneMarie; Heyninck, Jesse |
|
2019
|
Deductive argumentation by enhanced sequent calculi and dynamic derivations. Zbl 1394.68364
Arieli, Ofer; Straßer, Christian |
|
2016
|
Sequent-based argumentation for normative reasoning. Zbl 1445.03032
Straßer, Christian; Arieli, Ofer |
|
2014
|
Hypersequent-based argumentation: an instantiation in the relevance logic RM. Zbl 1462.68178
Borg, AnneMarie; Arieli, Ofer; Straßer, Christian |
|
2018
|
Simple contrapositive assumption-based frameworks. Zbl 1522.68527
Heyninck, Jesse; Arieli, Ofer |
|
2019
|
A generalized proof-theoretic approach to logical argumentation based on hypersequents. Zbl 1535.03263
Borg, AnneMarie; Straßer, Christian; Arieli, Ofer |
|
2021
|
Bilattice-based squares and triangles. Zbl 1122.03310
Arieli, Ofer; Cornelis, Chris; Deschrijver, Glad; Kerre, Etienne |
|
2005
|
Reasoning with prioritized information by iterative aggregation of distance functions. Zbl 1158.68499
Arieli, Ofer |
|
2008
|
Logical argumentation by dynamic proof systems. Zbl 1423.68477
Arieli, Ofer; Straßer, Christian |
|
2019
|
Normative reasoning by sequent-based argumentation. Zbl 1444.03075
Straßer, Christian; Arieli, Ofer |
|
2019
|
Simple contrapositive assumption-based argumentation frameworks. Zbl 1445.68204
Heyninck, Jesse; Arieli, Ofer |
|
2020
|
A sequent-based representation of logical argumentation. Zbl 1401.68297
Arieli, Ofer |
|
2013
|
On the acceptance of loops in argumentation frameworks. Zbl 1354.68244
Arieli, Ofer |
|
2016
|
Database repair by signed formulae. Zbl 1202.68132
Arieli, Ofer; Denecker, Marc; Van Nuffelen, Bert; Bruynooghe, Maurice |
|
2004
|
Preference modeling by rectangular bilattices. Zbl 1235.68231
Arieli, Ofer; Cornelis, Chris; Deschrijver, Glad |
|
2006
|
Distance-based non-deterministic semantics for reasoning with uncertainty. Zbl 1168.68042
Arieli, Ofer; Zamansky, Anna |
|
2009
|
Prioritized simple contrapositive assumption-based frameworks. Zbl 1464.68338
Arieli, Ofer; Heyninck, Jesse |
|
2020
|
Arnon Avron on semantics and proof theory of non-classical logics. Zbl 1470.03007
|
|
2021
|
Simplified forms of computerized reasoning with distance semantics. Zbl 1216.68254
Arieli, Ofer; Zamansky, Anna |
|
2011
|
Reasoning with different levels of uncertainty. Zbl 1180.68268
Arieli, O. |
|
2003
|
Representation of partial knowledge and query answering in locally complete databases. Zbl 1165.68380
Cortés-Calabuig, Álvaro; Denecker, Marc; Arieli, Ofer; Bruynooghe, Maurice |
|
2006
|
Distance-based repairs of databases. Zbl 1152.68434
Arieli, Ofer; Denecker, Marc; Bruynooghe, Maurice |
|
2006
|
Modeling paraconsistent reasoning by classical logic. Zbl 1044.68147
Arieli, Ofer; Denecker, Marc |
|
2002
|
Similarity-based inconsistency-tolerant logics. Zbl 1306.68179
Arieli, Ofer; Zamansky, Anna |
|
2010
|
A model-theoretic approach for recovering consistent data from inconsistent knowledge bases. Zbl 0922.68113
Arieli, Ofer; Avron, Arnon |
|
1999
|
The logical role of the four-valued bilattice. Zbl 0945.03537
Arieli, Ofer; Avron, Arnon |
|
1998
|
Logic-based approaches to formal argumentation. Zbl 1516.68086
Arieli, Ofer; Borg, Annemarie; Heyninck, Jesse; Strasser, Christian |
|
2021
|
Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks. Zbl 1394.68363
Arieli, Ofer |
|
2015
|
A graded approach to database repair by context-aware distance semantics. Zbl 1374.68550
Arieli, Ofer; Zamansky, Anna |
|
2016
|
Coherent composition of distributed knowledge-bases through abduction. Zbl 1275.68064
Arieli, Ofer; Van Nuffelen, Bert; Denecker, Marc; Bruynooghe, Maurice |
|
2001
|
Preferential logics for reasoning with graded uncertainty. Zbl 1274.68449
Arieli, Ofer |
|
2003
|
Reasoning with uncertainty by Nmatrix-metric semantics. Zbl 1156.68046
Arieli, Ofer; Zamansky, Anna |
|
2008
|
Context-aware distance semantics for inconsistent database systems. Zbl 1418.68077
Zamansky, Anna; Arieli, Ofer; Stefanidis, Kostas |
|
2014
|
On minimality and consistency tolerance in logical argumentation frameworks. Zbl 1464.68339
Arieli, Ofer; Strasser, Christian |
|
2020
|
Argumentative reflections of approximation fixpoint theory. Zbl 1464.68359
Heyninck, Jesse; Arieli, Ofer |
|
2020
|
A dissimilarity-based framework for generating inconsistency-tolerant logics. Zbl 1319.68207
Arieli, Ofer; Zamansky, Anna |
|
2015
|
A generalized proof-theoretic approach to logical argumentation based on hypersequents. Zbl 1535.03263
Borg, AnneMarie; Straßer, Christian; Arieli, Ofer |
|
2021
|
Arnon Avron on semantics and proof theory of non-classical logics. Zbl 1470.03007
|
|
2021
|
Logic-based approaches to formal argumentation. Zbl 1516.68086
Arieli, Ofer; Borg, Annemarie; Heyninck, Jesse; Strasser, Christian |
|
2021
|
Simple contrapositive assumption-based argumentation frameworks. Zbl 1445.68204
Heyninck, Jesse; Arieli, Ofer |
|
2020
|
Prioritized simple contrapositive assumption-based frameworks. Zbl 1464.68338
Arieli, Ofer; Heyninck, Jesse |
|
2020
|
On minimality and consistency tolerance in logical argumentation frameworks. Zbl 1464.68339
Arieli, Ofer; Strasser, Christian |
|
2020
|
Argumentative reflections of approximation fixpoint theory. Zbl 1464.68359
Heyninck, Jesse; Arieli, Ofer |
|
2020
|
A review of the relations between logical argumentation and reasoning with maximal consistency. Zbl 1474.68333
Arieli, Ofer; Borg, AnneMarie; Heyninck, Jesse |
|
2019
|
Simple contrapositive assumption-based frameworks. Zbl 1522.68527
Heyninck, Jesse; Arieli, Ofer |
|
2019
|
Logical argumentation by dynamic proof systems. Zbl 1423.68477
Arieli, Ofer; Straßer, Christian |
|
2019
|
Normative reasoning by sequent-based argumentation. Zbl 1444.03075
Straßer, Christian; Arieli, Ofer |
|
2019
|
Theory of effective propositional paraconsistent logics. Zbl 1448.03001
Avron, Arnon; Arieli, Ofer; Zamansky, Anna |
|
2018
|
Reasoning with maximal consistency by argumentative approaches. Zbl 1444.68175
Arieli, Ofer; Borg, AnneMarie; Straßer, Christian |
|
2018
|
On the semantics of simple contrapositive assumption-based argumentation frameworks. Zbl 1430.68307
Heyninck, Jesse; Arieli, Ofer |
|
2018
|
Hypersequent-based argumentation: an instantiation in the relevance logic RM. Zbl 1462.68178
Borg, AnneMarie; Arieli, Ofer; Straßer, Christian |
|
2018
|
Four-valued paradefinite logics. Zbl 1417.03190
Arieli, Ofer; Avron, Arnon |
|
2017
|
Minimal paradefinite logics for reasoning with incompleteness and inconsistency. Zbl 1387.03026
Arieli, Ofer; Avron, Arnon |
|
2016
|
Deductive argumentation by enhanced sequent calculi and dynamic derivations. Zbl 1394.68364
Arieli, Ofer; Straßer, Christian |
|
2016
|
On the acceptance of loops in argumentation frameworks. Zbl 1354.68244
Arieli, Ofer |
|
2016
|
A graded approach to database repair by context-aware distance semantics. Zbl 1374.68550
Arieli, Ofer; Zamansky, Anna |
|
2016
|
Three-valued paraconsistent propositional logics. Zbl 1423.03092
Arieli, Ofer; Avron, Arnon |
|
2015
|
Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks. Zbl 1394.68363
Arieli, Ofer |
|
2015
|
A dissimilarity-based framework for generating inconsistency-tolerant logics. Zbl 1319.68207
Arieli, Ofer; Zamansky, Anna |
|
2015
|
Sequent-based argumentation for normative reasoning. Zbl 1445.03032
Straßer, Christian; Arieli, Ofer |
|
2014
|
Context-aware distance semantics for inconsistent database systems. Zbl 1418.68077
Zamansky, Anna; Arieli, Ofer; Stefanidis, Kostas |
|
2014
|
A QBF-based formalization of abstract argumentation semantics. Zbl 1284.68533
Arieli, Ofer; Caminada, Martin W. A. |
|
2013
|
A sequent-based representation of logical argumentation. Zbl 1401.68297
Arieli, Ofer |
|
2013
|
Conflict-tolerant semantics for argumentation frameworks. Zbl 1361.68215
Arieli, Ofer |
|
2012
|
Ideal paraconsistent logics. Zbl 1248.03046
Arieli, O.; Avron, A.; Zamansky, A. |
|
2011
|
Maximal and premaximal paraconsistency in the framework of three-valued semantics. Zbl 1256.03030
Arieli, Ofer; Avron, Arnon; Zamansky, Anna |
|
2011
|
Simplified forms of computerized reasoning with distance semantics. Zbl 1216.68254
Arieli, Ofer; Zamansky, Anna |
|
2011
|
Similarity-based inconsistency-tolerant logics. Zbl 1306.68179
Arieli, Ofer; Zamansky, Anna |
|
2010
|
Distance-based non-deterministic semantics for reasoning with uncertainty. Zbl 1168.68042
Arieli, Ofer; Zamansky, Anna |
|
2009
|
Distance-based paraconsistent logics. Zbl 1189.03035
Arieli, Ofer |
|
2008
|
Reasoning with prioritized information by iterative aggregation of distance functions. Zbl 1158.68499
Arieli, Ofer |
|
2008
|
Reasoning with uncertainty by Nmatrix-metric semantics. Zbl 1156.68046
Arieli, Ofer; Zamansky, Anna |
|
2008
|
Distance semantics for database repair. Zbl 1126.68034
Arieli, Ofer; Denecker, Marc; Bruynooghe, Maurice |
|
2007
|
A bilattice-based framework for handling graded truth and imprecision. Zbl 1121.03073
Deschrijver, Glad; Arieli, Ofer; Cornelis, Chris; Kerre, Etienne E. |
|
2007
|
Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae. Zbl 1367.68274
Arieli, Ofer |
|
2007
|
Computational methods for database repair by signed formulae. Zbl 1097.68549
Arieli, Ofer; Denecker, Marc; Van Nuffelen, Bert; Bruynooghe, Maurice |
|
2006
|
Preference modeling by rectangular bilattices. Zbl 1235.68231
Arieli, Ofer; Cornelis, Chris; Deschrijver, Glad |
|
2006
|
Representation of partial knowledge and query answering in locally complete databases. Zbl 1165.68380
Cortés-Calabuig, Álvaro; Denecker, Marc; Arieli, Ofer; Bruynooghe, Maurice |
|
2006
|
Distance-based repairs of databases. Zbl 1152.68434
Arieli, Ofer; Denecker, Marc; Bruynooghe, Maurice |
|
2006
|
Bilattice-based squares and triangles. Zbl 1122.03310
Arieli, Ofer; Cornelis, Chris; Deschrijver, Glad; Kerre, Etienne |
|
2005
|
Coherent integration of databases by abductive logic programming. Zbl 1080.68570
Arieli, Ofer; Denecker, Marc; Van Nuffelen, Bert; Bruynooghe, Maurice |
|
2004
|
Database repair by signed formulae. Zbl 1202.68132
Arieli, Ofer; Denecker, Marc; Van Nuffelen, Bert; Bruynooghe, Maurice |
|
2004
|
Reducing preferential paraconsistent reasoning to classical entailment. Zbl 1034.03023
Arieli, Ofer; Denecker, Marc |
|
2003
|
Reasoning with different levels of uncertainty. Zbl 1180.68268
Arieli, O. |
|
2003
|
Preferential logics for reasoning with graded uncertainty. Zbl 1274.68449
Arieli, Ofer |
|
2003
|
Paraconsistent declarative semantics for extended logic programs. Zbl 1015.68121
Arieli, Ofer |
|
2002
|
Modeling paraconsistent reasoning by classical logic. Zbl 1044.68147
Arieli, Ofer; Denecker, Marc |
|
2002
|
Coherent composition of distributed knowledge-bases through abduction. Zbl 1275.68064
Arieli, Ofer; Van Nuffelen, Bert; Denecker, Marc; Bruynooghe, Maurice |
|
2001
|
General patterns for nonmonotonic reasoning: From basic entailments to plausible relations. Zbl 0966.03024
Arieli, Ofer; Avron, Arnon |
|
2000
|
Bilattices and paraconsistency. Zbl 0994.03021
Arieli, Ofer; Avron, Arnon |
|
2000
|
A model-theoretic approach for recovering consistent data from inconsistent knowledge bases. Zbl 0922.68113
Arieli, Ofer; Avron, Arnon |
|
1999
|
The value of the four values. Zbl 0928.03025
Arieli, Ofer; Avron, Arnon |
|
1998
|
The logical role of the four-valued bilattice. Zbl 0945.03537
Arieli, Ofer; Avron, Arnon |
|
1998
|
Reasoning with logical bilattices. Zbl 0851.03017
Arieli, Ofer; Avron, Arnon |
|
1996
|