36 search results - page 1 / 8 » Signed Systems for Paraconsistent Reasoning |
JAR
1998
13 years 4 months ago
1998
In [6] Besnard and Schaub elaborated a novel approach to paraconsistent reasoning which lead to a family of paraconsistent consequence relations. In a sense these try to safeguard...
ECAI
2004
Springer
13 years 8 months ago
2004
Springer
We introduce a uniform approach of representing a variety of paraconsistent non-monotonic formalisms by quantified Boolean formulae (QBFs) in the context of four-valued semantics. ...
SEMWEB
2005
Springer
13 years 10 months ago
2005
Springer
Due to the Semantic Web’s decentralised and distributed management, contradictory information is and will remain frequent. However, classical reasoning systems fail to work prop...
APWEB
2011
Springer
13 years 5 days ago
2011
Springer
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...
ECSQARU
1999
Springer
13 years 9 months ago
1999
Springer
In this paper we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. For this we conside...