Sciweavers

11436 search results - page 36 / 2288
» Modeling Real Reasoning
Sort
View
CAEPIA
2005
Springer
15 years 6 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...
83
Voted
ICCBR
2007
Springer
15 years 6 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,...
75
Voted
ECSQARU
2001
Springer
15 years 5 months ago
Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning
Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz,...
85
Voted
DLOG
2007
15 years 3 months ago
Modal vs. Propositional Reasoning for model checking with Description Logics
Shoham Ben-David, Richard J. Trefler, Grant E. Wed...