 | 2012 |
|---|
| 57 |       | Ofer Arieli,
Anna Zamansky:
Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities.
FoIKS 2012: 34-50 |
| 2011 |
|---|
| 56 | | Ofer Arieli,
Arnon Avron,
Anna Zamansky:
What Is an Ideal Logic for Reasoning with Inconsistency?.
IJCAI 2011: 706-711 |
| 55 | | Ofer Arieli,
Maurice Bruynooghe,
Marc Denecker,
Bert Van Nuffelen:
Coherent Integration of Databases by Abductive Logic Programming
CoRR abs/1107.0030: (2011) |
| 54 | | Ofer Arieli,
Anna Zamansky:
A framework for reasoning under uncertainty based on non-deterministic distance semantics.
Int. J. Approx. Reasoning 52(2): 184-211 (2011) |
| 53 | | Ofer Arieli,
Anna Zamansky:
Simplified forms of computerized reasoning with distance semantics.
J. Applied Logic 9(1): 1-22 (2011) |
| 52 | | Ofer Arieli,
Arnon Avron,
Anna Zamansky:
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.
Studia Logica 97(1): 31-60 (2011) |
| 51 | | Ofer Arieli,
Arnon Avron,
Anna Zamansky:
Ideal Paraconsistent Logics.
Studia Logica 99(1-3): 31-60 (2011) |
| 2010 |
|---|
| 50 | | Ofer Arieli,
Anna Zamansky:
Similarity-Based Inconsistency-Tolerant Logics.
JELIA 2010: 11-23 |
| 49 | | Ofer Arieli,
Arnon Avron,
Anna Zamansky:
Maximally Paraconsistent Three-Valued Logics.
KR 2010 |
| 48 | | Ofer Arieli:
On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information.
KR 2010 |
| 47 | | Arnon Avron,
Ofer Arieli,
Anna Zamansky:
On Strong Maximality of Paraconsistent Finite-Valued Logics.
LICS 2010: 304-313 |
| 46 | | Marc Denecker,
Alvaro Cortés-Calabuig,
Maurice Bruynooghe,
Ofer Arieli:
Towards a logical reconstruction of a theory for locally closed databases.
ACM Trans. Database Syst. 35(3): (2010) |
| 2009 |
|---|
| 45 | | Ofer Arieli,
Anna Zamansky:
Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data.
ECSQARU 2009: 793-804 |
| 44 | | Ofer Arieli,
Anna Zamansky:
Distance-based non-deterministic semantics for reasoning with uncertainty.
Logic Journal of the IGPL 17(4): 325-350 (2009) |
| 2008 |
|---|
| 43 | | Ofer Arieli:
Reasoning with Prioritized Data by Aggregation of Distance Functions.
AGI 2008: 27-38 |
| 42 | | Ofer Arieli,
Anna Zamansky:
Distance-Based Non-Deterministic Semantics.
AGI 2008: 39-50 |
| 41 | | Ofer Arieli,
Anna Zamansky:
Some Simplified Forms of Reasoning with Distance-Based Entailments.
Canadian Conference on AI 2008: 36-47 |
| 40 |  | Alvaro Cortés-Calabuig,
Marc Denecker,
Ofer Arieli,
Maurice Bruynooghe:
Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases.
KR 2008: 81-91 |
| 39 | | Ofer Arieli,
Anna Zamansky:
Reasoning with Uncertainty by Nmatrix-Metric Semantics.
WoLLIC 2008: 69-82 |
| 38 | | Ofer Arieli:
Distance-based paraconsistent logics.
Int. J. Approx. Reasoning 48(3): 766-783 (2008) |
| 37 | | Ofer Arieli:
Reasoning with prioritized information by iterative aggregation of distance functions.
J. Applied Logic 6(4): 589-605 (2008) |
| 2007 |
|---|
| 36 | | Alvaro Cortés-Calabuig,
Marc Denecker,
Ofer Arieli,
Maurice Bruynooghe:
Approximate Query Answering in Locally Closed Databases.
AAAI 2007: 397-402 |
| 35 | | Ofer Arieli:
Commonsense reasoning by distance semantics.
TARK 2007: 33-41 |
| 34 | | Ofer Arieli:
Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae.
ACM Trans. Comput. Log. 8(3): (2007) |
| 33 | | Ofer Arieli,
Marc Denecker,
Maurice Bruynooghe:
Distance semantics for database repair.
Ann. Math. Artif. Intell. 50(3-4): 389-415 (2007) |
| 32 | | Chris Cornelis,
Ofer Arieli,
Glad Deschrijver,
Etienne E. Kerre:
Uncertainty Modeling by Bilattice-Based Squares and Triangles.
IEEE T. Fuzzy Systems 15(2): 161-175 (2007) |
| 31 | | Glad Deschrijver,
Ofer Arieli,
Chris Cornelis,
Etienne E. Kerre:
A Bilattice-Based Framework for Handling Graded Truth and Imprecision.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 15(1): 13-41 (2007) |
| 2006 |
|---|
| 30 | | Ofer Arieli,
Marc Denecker,
Maurice Bruynooghe:
Distance-Based Repairs of Databases.
JELIA 2006: 43-55 |
| 29 | | Alvaro Cortés-Calabuig,
Marc Denecker,
Ofer Arieli,
Maurice Bruynooghe:
Representation of Partial Knowledge and Query Answering in Locally Complete Databases.
LPAR 2006: 407-421 |
| 28 | | Ofer Arieli,
Chris Cornelis,
Glad Deschrijver:
Preference Modeling by Rectangular Bilattices.
MDAI 2006: 22-33 |
| 27 | | Ofer Arieli,
Marc Denecker,
Bert Van Nuffelen,
Maurice Bruynooghe:
Computational methods for database repair by signed formulae.
Ann. Math. Artif. Intell. 46(1-2): 4-37 (2006) |
| 2005 |
|---|
| 26 | | Alvaro Cortés-Calabuig,
Marc Denecker,
Ofer Arieli,
Bert Van Nuffelen,
Maurice Bruynooghe:
On the Local Closed-World Assumption of Data-Sources.
BNAIC 2005: 333-334 |
| 25 | | Ofer Arieli,
Chris Cornelis,
Glad Deschrijver,
Etienne E. Kerre:
Bilattice-Based Squares and Triangles.
ECSQARU 2005: 563-575 |
| 24 | | Bert Van Nuffelen,
Ofer Arieli,
Alvaro Cortés-Calabuig,
Maurice Bruynooghe:
An ID-Logic Formalization of the Composition of Autonomous Databases.
LPNMR 2005: 132-144 |
| 23 | | Alvaro Cortés-Calabuig,
Marc Denecker,
Ofer Arieli,
Bert Van Nuffelen,
Maurice Bruynooghe:
On the Local Closed-World Assumption of Data-Sources.
LPNMR 2005: 145-157 |
| 2004 |
|---|
| 22 | | Bert Van Nuffelen,
Alvaro Cortés-Calabuig,
Marc Denecker,
Ofer Arieli,
Maurice Bruynooghe:
Data Integration Using ID-Logic.
CAiSE 2004: 67-81 |
| 21 | | Ofer Arieli:
Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae.
ECAI 2004: 773-777 |
| 20 | | Ofer Arieli,
Marc Denecker,
Bert Van Nuffelen,
Maurice Bruynooghe:
Database Repair by Signed Formulae.
FoIKS 2004: 14-30 |
| 19 | | Ofer Arieli,
Marc Denecker,
Bert Van Nuffelen,
Maurice Bruynooghe:
Coherent Integration of Databases by Abductive Logic Programming.
J. Artif. Intell. Res. (JAIR) 21: 245-286 (2004) |
| 2003 |
|---|
| 18 | | Ofer Arieli:
Preferential Logics for Reasoning with Graded Uncertainty.
ECSQARU 2003: 515-527 |
| 17 | | Ofer Arieli,
Marc Denecker:
Reducing Preferential Paraconsistent Reasoning to Classical Entailment.
J. Log. Comput. 13(4): 557-580 (2003) |
| 16 | | Ofer Arieli:
Reasoning with Different Levels of Uncertainty.
Journal of Applied Non-Classical Logics 13(3-4): 317-343 (2003) |
| 2002 |
|---|
| 15 | | Ofer Arieli,
Marc Denecker:
Modeling Paraconsistent Reasoning by Classical Logic.
FoIKS 2002: 1-14 |
| 14 | | Ofer Arieli:
Paraconsistent Semantics for Extended Logic Programs.
IC-AI 2002: 1199-1205 |
| 13 | | Ofer Arieli,
Marc Denecker,
Bert Van Nuffelen,
Maurice Bruynooghe:
Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning.
Paraconsistent Computational Logic 2002: 51-65 |
| 12 | | Ofer Arieli:
Paraconsistent Declarative Semantics for Extended Logic Programs.
Ann. Math. Artif. Intell. 36(4): 381-417 (2002) |
| 2001 |
|---|
| 11 | | Ofer Arieli,
Bert Van Nuffelen,
Marc Denecker,
Maurice Bruynooghe:
Coherent Composition of Distributed Knowledge-Bases Through Abduction.
LPAR 2001: 624-638 |
| 2000 |
|---|
| 10 | | Ofer Arieli:
An Algorithmic Approach to Recover Inconsistent Knowledge-Bases.
JELIA 2000: 148-162 |
| 9 | | Ofer Arieli,
Arnon Avron:
General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations.
Logic Journal of the IGPL 8(2): 119-148 (2000) |
| 1999 |
|---|
| 8 | | Ofer Arieli,
Arnon Avron:
Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations.
ESCQARU 1999: 11-21 |
| 7 | | Ofer Arieli,
Arnon Avron:
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases.
J. Autom. Reasoning 22(2): 263-309 (1999) |
| 1998 |
|---|
| 6 | | Ofer Arieli,
Arnon Avron:
The Logical Role of the Four-Valued Bilattice.
LICS 1998: 118-126 |
| 5 | | Ofer Arieli,
Arnon Avron:
The Value of the Four Values.
Artif. Intell. 102(1): 97-141 (1998) |
| 1996 |
|---|
| 4 | | Ofer Arieli,
Arnon Avron:
Four-Valued Diagnoses for Stratified Knowledge-Bases.
CSL 1996: 1-17 |
| 3 | | Ofer Arieli,
Arnon Avron:
Automatic Diagnoses for Properly Stratified Knowledge-Bases.
ICTAI 1996: 392-399 |
| 2 | | Ofer Arieli,
Arnon Avron:
Reasoning with Logical Bilattices.
Journal of Logic, Language and Information 5(1): 25-63 (1996) |
| 1994 |
|---|
| 1 | | Ofer Arieli,
Arnon Avron:
Logical Bilattices and Inconsistent Data
LICS 1994: 468-476 |
Data released under the ODC-BY 1.0 license — See also our legal information page