1544 search results - page 106 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
173
click to vote
SARA
2007
Springer
16 years 17 days ago
2007
Springer
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...
191
click to vote
USAB
2007
15 years 7 months ago
2007
In this paper we argue that the formal analysis of an interactive medical system can improve their usability evaluation such that potential erroneous interactions are identified an...
178
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
148
click to vote
DLOG
1996
15 years 7 months ago
1996
Ford Motor Company's Direct Labor Management System (DLMS) utilizes knowledgerepresentation schemebased on the KL-ONEfamily of languages to represent the world of automobile ...
188
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and ...