63 search results - page 6 / 13 » Distance-based paraconsistent logics |
IJAR
2008
13 years 7 months ago
2008
We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailm...
LACL
2001
Springer
14 years 3 days ago
2001
Springer
Abstract. In order to analyse the semantics of natural language sentences a translation into a partial type logic using lexical and logical combinators is presented. The sentences ...
ECSQARU
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies. We first define the degree of inconsistency of an inconsistent ontology using a four...
AISC
2004
Springer
14 years 1 months ago
2004
Springer
ENTCS
2006
13 years 7 months ago
2006