2585 search results - page 72 / 517 » Automating Coherent Logic |
CADE
2003
Springer
14 years 10 months ago
2003
Springer
TIME
2007
IEEE
14 years 4 months ago
2007
IEEE
TIME
2003
IEEE
14 years 3 months ago
2003
IEEE
DLOG
2007
14 years 7 days ago
2007
Abstract. The DL implementation group (DIG) has specified a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...
IJCAI
2003
13 years 11 months ago
2003
Automated verification is one of the most success ful applications of automated reasoning in com puter science. In automated verification one uses algorithmic techniques to es...