76 search results - page 4 / 16 » Complexity Results for Default Reasoning from Conditional Kn... |
DLOG
2011
13 years 2 months ago
2011
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...
ICCBR
2005
Springer
14 years 4 months ago
2005
Springer
Automatic case elicitation (ACE) is a learning technique in which a case-based reasoning system acquires knowledge automatically from scratch through repeated real-time trial and e...
LPAR
2001
Springer
14 years 3 months ago
2001
Springer
When it comes to building robot controllers, highlevel programming arises as a feasible alternative to planning. The task then is to verify a high-level program by finding a lega...
KI
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. There is a growing research interest in the design of competitive and adaptive Game AI for complex computer strategy games. In this paper, we present a novel approach for...
INFOCOM
2009
IEEE
14 years 5 months ago
2009
IEEE
— For both technological and economic reasons, the default path between two end systems in the wide-area Internet can be suboptimal. This observation has motivated a number of sy...