1317 search results - page 19 / 264 » Fusions of Description Logics and Abstract Description Syste... |
AAAI
2000
13 years 9 months ago
2000
A serious shortcoming of many Description Logic based knowledge representation systems is the inadequacy of their query languages. In this paper we present a novel technique that ...
DLOG
1996
13 years 9 months ago
1996
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
SEFM
2005
IEEE
14 years 2 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
CADE
2008
Springer
13 years 10 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...