Search the dblp DataBase
Ofer Arieli :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Alvaro Cortés-Calabuig , Marc Denecker , Ofer Arieli , Bert Van Nuffelen , Maurice Bruynooghe On the Local Closed-World Assumption of Data-Sources. [Citation Graph (0, 0)][DBLP ] BNAIC, 2005, pp:333-334 [Conf ] Bert Van Nuffelen , Alvaro Cortés-Calabuig , Marc Denecker , Ofer Arieli , Maurice Bruynooghe Data Integration Using ID-Logic. [Citation Graph (0, 0)][DBLP ] CAiSE, 2004, pp:67-81 [Conf ] Ofer Arieli , Arnon Avron Four-Valued Diagnoses for Stratified Knowledge-Bases. [Citation Graph (0, 0)][DBLP ] CSL, 1996, pp:1-17 [Conf ] Ofer Arieli Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae. [Citation Graph (0, 0)][DBLP ] ECAI, 2004, pp:773-777 [Conf ] Ofer Arieli Preferential Logics for Reasoning with Graded Uncertainty. [Citation Graph (0, 0)][DBLP ] ECSQARU, 2003, pp:515-527 [Conf ] Ofer Arieli , Arnon Avron Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations. [Citation Graph (0, 0)][DBLP ] ESCQARU, 1999, pp:11-21 [Conf ] Ofer Arieli , Chris Cornelis , Glad Deschrijver , Etienne E. Kerre Bilattice-Based Squares and Triangles. [Citation Graph (0, 0)][DBLP ] ECSQARU, 2005, pp:563-575 [Conf ] Ofer Arieli , Marc Denecker Modeling Paraconsistent Reasoning by Classical Logic. [Citation Graph (0, 0)][DBLP ] FoIKS, 2002, pp:1-14 [Conf ] Ofer Arieli , Marc Denecker , Bert Van Nuffelen , Maurice Bruynooghe Database Repair by Signed Formulae. [Citation Graph (0, 0)][DBLP ] FoIKS, 2004, pp:14-30 [Conf ] Ofer Arieli Paraconsistent Semantics for Extended Logic Programs. [Citation Graph (0, 0)][DBLP ] IC-AI, 2002, pp:1199-1205 [Conf ] Ofer Arieli , Arnon Avron Automatic Diagnoses for Properly Stratified Knowledge-Bases. [Citation Graph (0, 0)][DBLP ] ICTAI, 1996, pp:392-399 [Conf ] Ofer Arieli An Algorithmic Approach to Recover Inconsistent Knowledge-Bases. [Citation Graph (0, 0)][DBLP ] JELIA, 2000, pp:148-162 [Conf ] Ofer Arieli , Marc Denecker , Maurice Bruynooghe Distance-Based Repairs of Databases. [Citation Graph (0, 0)][DBLP ] JELIA, 2006, pp:43-55 [Conf ] Ofer Arieli , Arnon Avron Logical Bilattices and Inconsistent Data [Citation Graph (0, 0)][DBLP ] LICS, 1994, pp:468-476 [Conf ] Ofer Arieli , Arnon Avron The Logical Role of the Four-Valued Bilattice. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:118-126 [Conf ] Ofer Arieli , Bert Van Nuffelen , Marc Denecker , Maurice Bruynooghe Coherent Composition of Distributed Knowledge-Bases Through Abduction. [Citation Graph (0, 0)][DBLP ] LPAR, 2001, pp:624-638 [Conf ] Alvaro Cortés-Calabuig , Marc Denecker , Ofer Arieli , Maurice Bruynooghe Representation of Partial Knowledge and Query Answering in Locally Complete Databases. [Citation Graph (0, 0)][DBLP ] LPAR, 2006, pp:407-421 [Conf ] Alvaro Cortés-Calabuig , Marc Denecker , Ofer Arieli , Bert Van Nuffelen , Maurice Bruynooghe On the Local Closed-World Assumption of Data-Sources. [Citation Graph (0, 0)][DBLP ] LPNMR, 2005, pp:145-157 [Conf ] Bert Van Nuffelen , Ofer Arieli , Alvaro Cortés-Calabuig , Maurice Bruynooghe An ID-Logic Formalization of the Composition of Autonomous Databases. [Citation Graph (0, 0)][DBLP ] LPNMR, 2005, pp:132-144 [Conf ] Ofer Arieli , Chris Cornelis , Glad Deschrijver Preference Modeling by Rectangular Bilattices. [Citation Graph (0, 0)][DBLP ] MDAI, 2006, pp:22-33 [Conf ] Ofer Arieli , Marc Denecker , Bert Van Nuffelen , Maurice Bruynooghe Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning. [Citation Graph (0, 0)][DBLP ] Paraconsistent Computational Logic, 2002, pp:51-65 [Conf ] Ofer Arieli , Arnon Avron The Value of the Four Values. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1998, v:102, n:1, pp:97-141 [Journal ] Ofer Arieli Paraconsistent Declarative Semantics for Extended Logic Programs. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2002, v:36, n:4, pp:381-417 [Journal ] Ofer Arieli , Marc Denecker , Bert Van Nuffelen , Maurice Bruynooghe Computational methods for database repair by signed formulae. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2006, v:46, n:1-2, pp:4-37 [Journal ] Ofer Arieli , Arnon Avron General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 2000, v:8, n:2, pp:- [Journal ] Ofer Arieli , Marc Denecker , Bert Van Nuffelen , Maurice Bruynooghe Coherent Integration of Databases by Abductive Logic Programming. [Citation Graph (0, 0)][DBLP ] J. Artif. Intell. Res. (JAIR), 2004, v:21, n:, pp:245-286 [Journal ] Ofer Arieli Reasoning with Different Levels of Uncertainty. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 2003, v:13, n:3-4, pp:317-343 [Journal ] Ofer Arieli , Arnon Avron A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1999, v:22, n:2, pp:263-309 [Journal ] Ofer Arieli , Arnon Avron Reasoning with Logical Bilattices. [Citation Graph (0, 0)][DBLP ] Journal of Logic, Language and Information, 1996, v:5, n:1, pp:25-63 [Journal ] Ofer Arieli , Marc Denecker Reducing Preferential Paraconsistent Reasoning to Classical Entailment. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2003, v:13, n:4, pp:557-580 [Journal ] Alvaro Cortés-Calabuig , Marc Denecker , Ofer Arieli , Maurice Bruynooghe Approximate Query Answering in Locally Closed Databases. [Citation Graph (0, 0)][DBLP ] AAAI, 2007, pp:397-402 [Conf ] Ofer Arieli , Marc Denecker , Maurice Bruynooghe Distance semantics for database repair. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2007, v:50, n:3-4, pp:389-415 [Journal ] Chris Cornelis , Ofer Arieli , Glad Deschrijver , Etienne E. Kerre Uncertainty Modeling by Bilattice-Based Squares and Triangles. [Citation Graph (0, 0)][DBLP ] IEEE T. Fuzzy Systems, 2007, v:15, n:2, pp:161-175 [Journal ] Ofer Arieli Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2007, v:8, n:3, pp:- [Journal ] Some Simplified Forms of Reasoning with Distance-Based Entailments. [Citation Graph (, )][DBLP ] Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data. [Citation Graph (, )][DBLP ] Similarity-Based Inconsistency-Tolerant Logics. [Citation Graph (, )][DBLP ] Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases. [Citation Graph (, )][DBLP ] On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information. [Citation Graph (, )][DBLP ] Maximally Paraconsistent Three-Valued Logics. [Citation Graph (, )][DBLP ] On Strong Maximality of Paraconsistent Finite-Valued Logics. [Citation Graph (, )][DBLP ] Commonsense reasoning by distance semantics. [Citation Graph (, )][DBLP ] Reasoning with Uncertainty by Nmatrix-Metric Semantics. [Citation Graph (, )][DBLP ] Reasoning with Prioritized Data by Aggregation of Distance Functions. [Citation Graph (, )][DBLP ] Distance-Based Non-Deterministic Semantics. [Citation Graph (, )][DBLP ] Search in 0.027secs, Finished in 0.030secs