3776 search results - page 271 / 756 » Partition-Based Logical Reasoning |
139
click to vote
CSL
2005
Springer
15 years 10 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
133
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
125
click to vote
DIAGRAMS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry alge...
134
click to vote
LPNMR
2004
Springer
15 years 9 months ago
2004
Springer
Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the que...
154
click to vote
LOPSTR
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...