2414 search results - page 130 / 483 » Reasoning Support for OWL-E |
197
click to vote
KES
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A mobile robot that interacts with its environment needs a machineunderstandable representation of objects and their usages. We present an ontology of objects, with gener...
135
click to vote
RE
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we discuss how mutual influences (e.g. conflicts) of different stakeholder concerns can be detected and reasoned about through composition and stepwise refinement. S...
145
click to vote
LOPSTR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper aims at offering an insightful synthesis of different compositional semantics for logic program composition which have been developed in the literature. In p...
162
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
This paper introduces a new class called hang yourself (HY) arguments into the theory of defeasible argumentation. The novelty of such arguments is that they are inherently destru...
161
click to vote
ECBS
2003
IEEE
15 years 11 months ago
2003
IEEE
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...