| 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 | EE | 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 | EE | Ofer Arieli,
Anna Zamansky:
Reasoning with Uncertainty by Nmatrix-Metric Semantics.
WoLLIC 2008: 69-82 |
| 38 | EE | Ofer Arieli:
Distance-based paraconsistent logics.
Int. J. Approx. Reasoning 48(3): 766-783 (2008) |
| 37 | EE | 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 | EE | Ofer Arieli:
Commonsense reasoning by distance semantics.
TARK 2007: 33-41 |
| 34 | EE | Ofer Arieli:
Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae.
ACM Trans. Comput. Log. 8(3): (2007) |
| 33 | EE | Ofer Arieli,
Marc Denecker,
Maurice Bruynooghe:
Distance semantics for database repair.
Ann. Math. Artif. Intell. 50(3-4): 389-415 (2007) |
| 32 | EE | 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 | EE | 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 | EE | Ofer Arieli,
Marc Denecker,
Maurice Bruynooghe:
Distance-Based Repairs of Databases.
JELIA 2006: 43-55 |
| 29 | EE | 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 | EE | Ofer Arieli,
Chris Cornelis,
Glad Deschrijver:
Preference Modeling by Rectangular Bilattices.
MDAI 2006: 22-33 |
| 27 | EE | 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 | EE | Ofer Arieli,
Chris Cornelis,
Glad Deschrijver,
Etienne E. Kerre:
Bilattice-Based Squares and Triangles.
ECSQARU 2005: 563-575 |
| 24 | EE | 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 | EE | 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 | EE | 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 | EE | Ofer Arieli,
Marc Denecker,
Bert Van Nuffelen,
Maurice Bruynooghe:
Database Repair by Signed Formulae.
FoIKS 2004: 14-30 |
| 19 | EE | 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 | EE | Ofer Arieli:
Preferential Logics for Reasoning with Graded Uncertainty.
ECSQARU 2003: 515-527 |
| 17 | EE | 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 | EE | 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 | EE | 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 | EE | Ofer Arieli,
Bert Van Nuffelen,
Marc Denecker,
Maurice Bruynooghe:
Coherent Composition of Distributed Knowledge-Bases Through Abduction.
LPAR 2001: 624-638 |
| 2000 |
|---|
| 10 | EE | Ofer Arieli:
An Algorithmic Approach to Recover Inconsistent Knowledge-Bases.
JELIA 2000: 148-162 |
| 9 | EE | Ofer Arieli,
Arnon Avron:
General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations.
Logic Journal of the IGPL 8(2): (2000) |
| 1999 |
|---|
| 8 | EE | 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 | EE | 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 |
