TABLEAUX
2005
Springer
14 years 5 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
SARA
2005
Springer
14 years 5 months ago
2005
Springer
Abstract. This article introduces a technique for improving the efficiency of diagnosis through approximate compilation. We extend the approach of compiling a diagnostic model, as...
SARA
2005
Springer
14 years 5 months ago
2005
Springer
Abstract. We present The Cruncher, a simple representation framework and algorithm based on minimum description length for automatically forming an ontology of concepts from attrib...
SARA
2005
Springer
14 years 5 months ago
2005
Springer
SARA
2005
Springer
14 years 5 months ago
2005
Springer
SARA
2005
Springer
14 years 5 months ago
2005
Springer
This paper reconsiders the problems of discovering symmetries in constraint satisfaction problems (CSPs). It proposes a compositional approach which derives symmetries of the appli...
SARA
2005
Springer
14 years 5 months ago
2005
Springer
SARA
2005
Springer
14 years 5 months ago
2005
Springer
Abstract. The presence of long gaps dramatically increases the difficulty of detecting and characterizing complex events hidden in long sequences. In order to cope with this proble...
SARA
2005
Springer
14 years 5 months ago
2005
Springer
A pattern database (PDB) is a heuristic function in a form of a lookup table which stores the cost of optimal solutions for instances of subproblems. bproblems are generated by abs...
SARA
2005
Springer
14 years 5 months ago
2005
Springer
Sets of features in Markov decision processes can play a critical role ximately representing value and in abstracting the state space. Selection of features is crucial to the succe...