9145 search results - page 10 / 1829 » Description Logic Systems |
103
Voted
DLOG
2006
15 years 1 months ago
2006
Modularity and rigor are two key elements for multi-agent technology. Hong Zhu's multi-agent system (MAS) development method provides proper language facilities supporting mo...
105
Voted
IJCAI
2003
15 years 1 months ago
2003
Current Description Logic reasoning systems provide only limited support for debugging logically erroneous knowledge bases. In this paper we propose new non-standard reasoning ser...
83
Voted
JELIA
2004
Springer
15 years 5 months ago
2004
Springer
DLOG
1996
15 years 1 months ago
1996
104
click to vote
CADE
2008
Springer
15 years 2 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...