78 search results - page 3 / 16 » On the logic of cooperation and propositional control |
167
click to vote
FROCOS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this paper we report on a novel approach for uniform encoding of hash functions (but also other cryptographic functions) into propositional logic formulae, and reducin...
168
click to vote
FROCOS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantiļ¬ers and present a class of modal logics which is decidable when augmented with bisimulation quantiļ¬...
164
click to vote
CAV
2007
Springer
16 years 25 days ago
2007
Springer
We present Hector, a software tool for combining diļ¬erent abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
156
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representatio...
181
click to vote
JELIA
2004
Springer
16 years 12 hour ago
2004
Springer
We brieļ¬y overview the most recent improvements we have incorporated to the existent implementations of the TAS methodology, the simpliļ¬ed ā-tree representation of formulas i...