1544 search results - page 25 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
CADE
2007
Springer
14 years 7 months ago
2007
Springer
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...
PLILP
1992
Springer
13 years 11 months ago
1992
Springer
ICLP
1990
Springer
13 years 11 months ago
1990
Springer
LICS
1995
IEEE
13 years 11 months ago
1995
IEEE
DLOG
2003
13 years 8 months ago
2003
In this short position paper, the project of building intelligent business information infrastructure using semantic web, ontology, description logics, and other related knowledge...