Sciweavers

11436 search results - page 28 / 2288
» Modeling Real Reasoning
Sort
View
136
Voted
CL
2011
Springer
14 years 7 months ago
A transactional model for automatic exception handling
Bruno Cabral, Paulo Marques
90
Voted
CADE
2004
Springer
16 years 1 months ago
A Machine-Checked Formalization of the Generic Model and the Random Oracle Model
Gilles Barthe, Jan Cederquist, Sabrina Tarento
149
Voted
EWCBR
2008
Springer
15 years 2 months 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...
61
Voted
DLOG
2004
15 years 2 months ago
Tableau Systems for SHIO and SHIQ
Jan Hladik, Jörg Model
SEMWEB
2007
Springer
15 years 6 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