78 search results - page 3 / 16 » On the logic of cooperation and propositional control |
FROCOS
2005
Springer
14 years 26 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...
FROCOS
2007
Springer
14 years 1 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
14 years 1 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 11 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
14 years 21 days 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...