AI
2008
Springer
13 years 11 months ago
2008
Springer
We propose a novel approach to self-regenerating continuously-operating systems. Such systems provide best-case solutions in security surveillance or decision making centers. We i...
AI
2010
Springer
13 years 11 months ago
2010
Springer
AI
2008
Springer
13 years 11 months ago
2008
Springer
The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role...
AI
2008
Springer
13 years 11 months ago
2008
Springer
Many collaborative multi-robot application domains have limited areas of operation that cause spatial conflicts between robotic teammates. These spatial conflicts can cause the te...
AI
2010
Springer
13 years 11 months ago
2010
Springer
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...
AI
2008
Springer
13 years 11 months ago
2008
Springer
AI
2008
Springer
13 years 11 months ago
2008
Springer
AI
2008
Springer
13 years 11 months ago
2008
Springer
While recent research on rule learning has focussed largely on finding highly accurate hypotheses, we evaluate the degree to which these hypotheses are also simple, that is small....
AI
2010
Springer
13 years 11 months ago
2010
Springer
In this paper, a fairly general framework for reasoning from inconsistent propositional bases is defined. Variable forgetting is used as a basic operation for weakening pieces of ...
AI
2008
Springer
13 years 11 months ago
2008
Springer
Singleton arc consistency (SAC) is a consistency property that is simple to specify and is stronger than arc consistency. Algorithms have already been proposed to enforce SAC, but...