Order:
  1.  2
    Towards a logical belief function theory.Laurence Cholvy - 2015 - Journal of Applied Logic 13 (4):441-457.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  9
    Querying several conflicting databases.Laurence Cholvy & Christophe Garion - 2004 - Journal of Applied Non-Classical Logics 14 (3):295-327.
    This paper addresses the problem of querying several databases considered as a whole. Assuming that the different databases share a common data description language, the problem that arises is to consistently answer queries even if the database contents are contradictory. The main contribution of this paper is the specification of a query-evaluator for answering closed and open general queries addressed to several databases and for providing explanations about the results. For doing so, we first specify a query-evaluator, in logic, which (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  12
    Foreword.Weiru Liu, Laurence Cholvy, Salem Benferhat & Anthony Hunter - 2004 - Journal of Applied Non-Classical Logics 14 (3):243-245.