2067 search results - page 119 / 414 » Logics of propositional control |
161
Voted
AAAI
2008
15 years 2 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
97
Voted
JMLR
2006
15 years 1 months ago
2006
In this paper, we propose a new representation for physical control
115
Voted
PDP
1997
IEEE
15 years 6 months ago
1997
IEEE
Event tracing and monitoring of parallel applications are difficult if each processor has its own unsynchronized clock. A survey is given on several strategies to generate a glob...
122
click to vote
CSL
2005
Springer
15 years 7 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...
110
click to vote
CADE
2004
Springer
16 years 2 months ago
2004
Springer
Deduction modulo is a theoretical framework for reasoning modulo a congruence on propositions. Computational steps are thus removed from proofs, thus allowing a clean separatation...