The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ofer Arieli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Ofer Arieli, Arnon Avron
    Four-Valued Diagnoses for Stratified Knowledge-Bases. [Citation Graph (0, 0)][DBLP]
    CSL, 1996, pp:1-17 [Conf]
  4. Ofer Arieli
    Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:773-777 [Conf]
  5. Ofer Arieli
    Preferential Logics for Reasoning with Graded Uncertainty. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2003, pp:515-527 [Conf]
  6. 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]
  7. 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]
  8. Ofer Arieli, Marc Denecker
    Modeling Paraconsistent Reasoning by Classical Logic. [Citation Graph (0, 0)][DBLP]
    FoIKS, 2002, pp:1-14 [Conf]
  9. 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]
  10. Ofer Arieli
    Paraconsistent Semantics for Extended Logic Programs. [Citation Graph (0, 0)][DBLP]
    IC-AI, 2002, pp:1199-1205 [Conf]
  11. Ofer Arieli, Arnon Avron
    Automatic Diagnoses for Properly Stratified Knowledge-Bases. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1996, pp:392-399 [Conf]
  12. Ofer Arieli
    An Algorithmic Approach to Recover Inconsistent Knowledge-Bases. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:148-162 [Conf]
  13. Ofer Arieli, Marc Denecker, Maurice Bruynooghe
    Distance-Based Repairs of Databases. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:43-55 [Conf]
  14. Ofer Arieli, Arnon Avron
    Logical Bilattices and Inconsistent Data [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:468-476 [Conf]
  15. Ofer Arieli, Arnon Avron
    The Logical Role of the Four-Valued Bilattice. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:118-126 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. Ofer Arieli, Chris Cornelis, Glad Deschrijver
    Preference Modeling by Rectangular Bilattices. [Citation Graph (0, 0)][DBLP]
    MDAI, 2006, pp:22-33 [Conf]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]

  35. Some Simplified Forms of Reasoning with Distance-Based Entailments. [Citation Graph (, )][DBLP]


  36. Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data. [Citation Graph (, )][DBLP]


  37. Similarity-Based Inconsistency-Tolerant Logics. [Citation Graph (, )][DBLP]


  38. Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases. [Citation Graph (, )][DBLP]


  39. On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information. [Citation Graph (, )][DBLP]


  40. Maximally Paraconsistent Three-Valued Logics. [Citation Graph (, )][DBLP]


  41. On Strong Maximality of Paraconsistent Finite-Valued Logics. [Citation Graph (, )][DBLP]


  42. Commonsense reasoning by distance semantics. [Citation Graph (, )][DBLP]


  43. Reasoning with Uncertainty by Nmatrix-Metric Semantics. [Citation Graph (, )][DBLP]


  44. Reasoning with Prioritized Data by Aggregation of Distance Functions. [Citation Graph (, )][DBLP]


  45. Distance-Based Non-Deterministic Semantics. [Citation Graph (, )][DBLP]


Search in 0.035secs, Finished in 0.037secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002