147 search results - page 9 / 30 » SD2: A Sound and Complete Diagrammatic Reasoning System |
92
Voted
CSL
2002
Springer
14 years 11 months ago
2002
Springer
Abstract. We give a simple term calculus for the multiplicative exponential fragment of Classical Linear Logic, by extending Barber and Plotkin's system for the intuitionistic...
78
Voted
CSL
2002
Springer
14 years 11 months ago
2002
Springer
This paper presents sound and complete Hoare logics for partial and total correctness of recursive parameterless procedures in the context of unbounded nondeterminism. For total co...
87
Voted
RAID
2004
Springer
15 years 5 months ago
2004
Springer
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...
103
Voted
KR
2010
Springer
15 years 3 months ago
2010
Springer
We investigate a class of first-order temporal epistemic logics for the specification of multi-agent systems. We consider well-known properties of multi-agent systems including ...
195
Voted
FCSC
2011
14 years 3 months ago
2011
Description logics (DLs) are widely employed in recent semantic web application systems. However, classical description logics are limited when dealing with imprecise concepts and ...