Search Sciweavers | Sciweavers

1917 search results - page 6 / 384

» Experimenting with Nonmonotonic Reasoning

click to vote

ECAI
2004
Springer

82views Artificial Intelligence» more ECAI 2004»

Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae

15 years 1 months ago

Download www2.mta.ac.il

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. ...

Ofer Arieli

claim paper

Read More »

125

click to vote

APWEB
2011
Springer

263views Internet Technology» more APWEB 2011»

A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System

14 years 4 months ago

Download www.is.pku.edu.cn

This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...

Xiaowang Zhang, Zuoquan Lin, Kewen Wang

claim paper

Read More »

click to vote

KI
1999
Springer

137views Artificial Intelligence» more KI 1999»

Revising Nonmonotonic Theories: The Case of Defeasible Logic

15 years 1 months ago

Download www.cse.unsw.edu.au

Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are t...

David Billington, Grigoris Antoniou, Guido Governa...

claim paper

Read More »

102

click to vote

CADE
2001
Springer

161views Logical Reasoning» more CADE 2001»

NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics

15 years 9 months ago

Download www.cs.uni-potsdam.de

Christian Anger, Kathrin Konczak, Thomas Linke

claim paper