Sciweavers

11436 search results - page 28 / 2288
» Modeling Real Reasoning
Sort
View
CL
2011
Springer
13 years 6 months ago
A transactional model for automatic exception handling
Bruno Cabral, Paulo Marques
CADE
2004
Springer
14 years 11 months ago
A Machine-Checked Formalization of the Generic Model and the Random Oracle Model
Gilles Barthe, Jan Cederquist, Sabrina Tarento
EWCBR
2008
Springer
14 years 21 days ago
Real-Time Plan Adaptation for Case-Based Planning in Real-Time Strategy Games
Abstract. Case-based planning (CBP) is based on reusing past successful plans for solving new problems. CBP is particularly useful in environments where the large amount of time re...
Neha Sugandh, Santiago Ontañón, Ashw...
SEMWEB
2007
Springer
14 years 5 months ago
Opportunistic Reasoning for the Semantic Web: Adapting Reasoning to the Environment
Despite the efforts devoted so far, the Semantic Web vision appears to be an eluding target. We propose a paradigm shift for the Semantic Web centred around the pragmatics of deve...
Carlos Pedrinaci, Tim Smithers, Amaia Bernaras