2067 search results - page 2 / 414 » Logics of propositional control |
FROCOS
2005
Springer
15 years 3 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
15 years 3 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
15 years 1 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
15 years 2 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
14 years 11 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...