258 search results - page 8 / 52 » Nonmonotonic Reasoning |
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
ended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities. Categori...
DAGSTUHL
2007
13 years 8 months ago
2007
Abstract. This paper makes a foundational contribution to the discussions on the very nature of belief change operations. Belief revision and pdate are investigated within an abstr...
DEDUCTIVE
1997
13 years 8 months ago
1997
We present a query language, called the Datalog++ , for deductive object-oriented databases. While a direct semantics for inheritance with overriding and encapsulation is desirabl...
ECAI
2004
Springer
13 years 11 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. ...
APWEB
2011
Springer
13 years 2 months 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...