2067 search results - page 2 / 414 » Logics of propositional control |
FROCOS
2005
Springer
13 years 10 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 11 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ļ¬...
AGENTS
1997
Springer
13 years 9 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 10 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...
FMCAD
2008
Springer
13 years 6 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...