78 search results - page 3 / 16 » On the logic of cooperation and propositional control |
FROCOS
2005
Springer
13 years 11 months 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...
FROCOS
2007
Springer
13 years 12 months 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ļ¬...
CAV
2007
Springer
13 years 12 months 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...
AGENTS
1997
Springer
13 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...
JELIA
2004
Springer
13 years 11 months 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...