1941 search results - page 106 / 389 » Reasoning about Computations Using Two-Levels of Logic |
172
click to vote
CSL
2005
Springer
15 years 12 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...
148
click to vote
DLOG
2008
15 years 8 months ago
2008
A fundamental requirement for cooperating agents is to agree on a selection of component values of objects that can be used for reliably communicating references to the objects, to...
179
click to vote
AAAI
1996
15 years 7 months ago
1996
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall shor...
193
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
152
click to vote
FOSSACS
2010
Springer
16 years 25 days ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...