2302 search results - page 22 / 461 » Basic Description Logics |
140
click to vote
CCS
2005
ACM
15 years 8 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
128
Voted
AMAI
2000
Springer
15 years 2 months ago
2000
Springer
principled ones
125
Voted
ECSQARU
1999
Springer
15 years 7 months ago
1999
Springer
In this paper we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. For this we conside...
128
click to vote
DLOG
2001
15 years 4 months ago
2001
In this extended abstract an optimization technique, the so-called signature calculus, for reasoning with number restrictions in description logics is investigated. The calculus i...
110
Voted
CADE
1998
Springer
15 years 6 months ago
1998
Springer
It is a well-known fact that some form of factoring is necessary for completeness of paramodulation-based calculi of general first-order clauses. In this paper we give an overview...