Sciweavers

222 search results - page 37 / 45
» Cases and Dialectical Arguments - An Approach to Case-Based ...
Sort
View
DLOG
2011
12 years 11 months ago
Practical Epistemic Entailment Checking in SROIQ
In this paper, we present a reasoner capable of epistemic inferences in SROIQ knowledge bases. We first identify some counter intuitive effects of imposing the traditional semant...
Anees Mehdi, Sebastian Rudolph
EWCBR
2006
Springer
13 years 11 months ago
Retrieving and Reusing Game Plays for Robot Soccer
Abstract. The problem of defining robot behaviors to completely address a large and complex set of situations is very challenging. We present an approach for robot's action se...
Raquel Ros, Manuela M. Veloso, Ramon López ...
QEST
2010
IEEE
13 years 5 months ago
Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
Jayanand Asok Kumar, Shobha Vasudevan
PAKDD
1998
ACM
103views Data Mining» more  PAKDD 1998»
13 years 11 months ago
Discovering Case Knowledge Using Data Mining
The use of Data Mining in removing current bottlenecks within Case-based Reasoning (CBR) systems is investigated along with the possible role of CBR in providing a knowledge manag...
Sarabjot S. Anand, David W. Patterson, John G. Hug...
EWCBR
2008
Springer
13 years 9 months ago
Discovering Feature Weights for Feature-based Indexing of Q-tables
In this paper we propose an approach to address the old problem of identifying the feature conditions under which a gaming strategy can be effective. For doing this, we will build ...
Chad Hogg, Stephen Lee-Urban, Bryan Auslander, H&e...