Sciweavers

531 search results - page 12 / 107
» An Argumentation-Based Approach for Practical Reasoning
Sort
View
ESWS
2007
Springer
15 years 3 months ago
Algorithms for Paraconsistent Reasoning with OWL
In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that knowledge sources will contain noise and inaccuraci...
Yue Ma, Pascal Hitzler, Zuoquan Lin
68
Voted
ESWS
2007
Springer
15 years 3 months ago
Real-World Reasoning with OWL
Abstract. This work is motivated by experiences in the course of developing an ontology-based application within a real-world setting. We found out that current benchmarks are not ...
Timo Weithöner, Thorsten Liebig, Marko Luther...
84
Voted
CADE
2007
Springer
15 years 9 months ago
An Incremental Technique for Automata-Based Decision Procedures
Abstract. Automata-based decision procedures commonly achieve optimal complexity bounds. However, in practice, they are often outperformed by sub-optimal (but more local-search bas...
David Toman, Gulay Ünel
ECBS
2003
IEEE
146views Hardware» more  ECBS 2003»
15 years 2 months ago
Architecture-Based Design of Computer Based Systems
This paper presents a practical approach to architecture-based design of computer based systems. The approach is discussed in relation to other existing of performing discovery, a...
Mark Denford, Tim O'Neill, John Leaney
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...