CADE
13 years 2 months ago
2010 Springer CADE
13 years 6 months ago
2010 Springer
We propose an extension of the syntactic restriction for complex role inclusion axioms in the description logic SROIQ. Like the original restriction in SROIQ, our restrictions can ...
CADE
13 years 6 months ago
2010 Springer CADE
13 years 6 months ago
2010 Springer
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity ...
CADE
13 years 6 months ago
2010 Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
|