Sciweavers

330 search results - page 21 / 66
» An argumentation based approach for practical reasoning
Sort
View
OTM
2007
Springer
15 years 3 months ago
Approaches to Inconsistency Handling in Description-Logic Based Ontologies
The problem of inconsistency handling in ontologies has recently been attracting a lot of attention. When inconsistency occurs in an ontology, there are mainly two ways to deal wit...
David A. Bell, Guilin Qi, Weiru Liu
KR
2004
Springer
15 years 2 months ago
A Logic of Limited Belief for Reasoning with Disjunctive Information
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque
LICS
2010
IEEE
14 years 7 months ago
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
The universal-algebraic approach has proved a powerful tool in the study of the computational complexity of constraint satisfaction problems (CSPs). This approach has previously b...
Manuel Bodirsky, Martin Hils, Barnaby Martin
PRICAI
2004
Springer
15 years 2 months ago
Text Classification Using Belief Augmented Frames
: In this paper we present our work on applying Belief Augmented Frames to the text classification problem. We formulate the problem in two alternative ways, and we evaluate the pe...
Colin Keng-Yan Tan
76
Voted
AIME
2005
Springer
15 years 3 months ago
AI Planning Technology as a Component of Computerised Clinical Practice Guidelines
The UK National Health Service (NHS) is currently undergoing an intensive review into the way patient care is designed, delivered and recorded. One important element of this is the...
Kirsty Bradbrook, Graham Winstanley, David Glasspo...