1544 search results - page 119 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
185
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The paper describes some innovations related to the ongoing work on the GSA prototype, an integrated information retrieval agent. In order to improve the original system effective...
141
click to vote
LICS
2008
IEEE
16 years 26 days ago
2008
IEEE
The question of whether there is a logic that captures polynomial time is the central open problem in descriptive complexity theory. In my talk, I will review the question and the...
147
click to vote
CADE
1990
Springer
15 years 10 months ago
1990
Springer
In automated deduction systems that are intended for human use, the presentation of a proof is no less important than its discovery. For most of today's automated theorem pro...
166
click to vote
JAMIA
2010
15 years 1 months ago
2010
Clinical coding and classification processes transform natural language descriptions in clinical text into data that can subsequently be used for clinical care, research, and othe...
181
click to vote
IJAIT
2006
15 years 6 months ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...