1544 search results - page 160 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
165
click to vote
KBSE
2006
IEEE
16 years 15 days ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
161
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
A concept learning framework for terminological representations is introduced. It is grounded on a method for inducing logic decision trees as an adaptation of the classic tree in...
151
click to vote
SEMWEB
2005
Springer
2005
Springer
Definitions Management: A Semantics-Based Approach for Clinical Documentation in Healthcare Delivery
15 years 12 months ago
Structured Clinical Documentation is a fundamental component of the healthcare enterprise, linking both clinical (e.g., electronic health record, clinical decision support) and adm...
164
click to vote
TARK
2005
Springer
15 years 12 months ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
180
click to vote
LICS
2006
IEEE
16 years 15 days ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....