Sciweavers

11436 search results - page 36 / 2288
» Modeling Real Reasoning
Sort
View
CAEPIA
2005
Springer
14 years 4 months ago
Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility
Abstract. In this paper, we enrich the logic of order of magnitude qualitative reasoning by means of a new notion of negligibility which has very useful properties with respect to ...
Alfredo Burrieza, Emilio Muñoz-Velasco, Man...
ICCBR
2007
Springer
14 years 5 months ago
Team Playing Behavior in Robot Soccer: A Case-Based Reasoning Approach
Abstract. This paper presents extensions and improvements of previous work, where we defined a CBR system for action selection in the robot soccer domain. We show empirical result...
Raquel Ros, Ramon López de Mántaras,...
DLOG
2007
14 years 1 months ago
Modal vs. Propositional Reasoning for model checking with Description Logics
Shoham Ben-David, Richard J. Trefler, Grant E. Wed...