Sciweavers

72 search results - page 6 / 15
» Argumentation-Based Reasoning with Inconsistent Knowledge Ba...
Sort
View
KI
2007
Springer
13 years 7 months ago
Modeling Human-Level Intelligence by Integrated Cognition in a Hybrid Architecture
Various forms of reasoning, the profusion of knowledge, the gap between neuro-inspired approaches and conceptual representations, the problem of inconsistent data input, and the ma...
Kai-Uwe Kühnberger, Tonio Wandmacher, Angela ...
DSOM
2006
Springer
13 years 11 months ago
Using Argumentation Logic for Firewall Policy Specification and Analysis
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu,...
APWEB
2011
Springer
13 years 2 months ago
A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System
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
ICCBR
2009
Springer
14 years 2 months ago
Belief Merging-Based Case Combination
Integrity constraint belief merging aims at producing from several knowledge bases, that may be mutually inconsistent, a synthetic knowledge base satisfying a given integrity const...
Julien Cojan, Jean Lieber
ECSQARU
2005
Springer
14 years 1 months ago
A Possibilistic Inconsistency Handling in Answer Set Programming
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
Pascal Nicolas, Laurent Garcia, Igor Stépha...