895 search results - page 21 / 179 » A Spectrum of Applications of Automated Reasoning |
154
click to vote
JUCS
2007
15 years 5 months ago
2007
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
186
click to vote
ICCBR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Case-Based Reasoning (CBR) solves problems by reusing past problemsolving experiences maintained in a casebase. The key CBR knowledge container therefore is its casebase....
200
click to vote
AI
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...
144
click to vote
ECSQARU
2003
Springer
15 years 11 months ago
2003
Springer
1 The purpose of this paper is to show how probabilistic argumentation is applicable to modern public-key cryptography as an appropriate tool to evaluate webs of trust. This is an ...
203
click to vote
LPAR
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Ex...