551 search results - page 32 / 111 » Formalizing the Logic-Automaton Connection |
102
Voted
ISIM
2007
15 years 2 months ago
2007
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...
97
Voted
CORR
2008
Springer
15 years 21 days ago
2008
Springer
We introduce the concept of Conversion/Preference Games, or CP games for short. CP games generalize the standard notion of strategic games. First we exemplify the use of CP games. ...
105
Voted
KER
2008
15 years 17 days ago
2008
This article surveys existing practical implementations of both defeasible and argumentationbased reasoning engines and associated literature. We aim to summarise the current stat...
98
Voted
JLP
2006
15 years 17 days ago
2006
We investigate the connections between the process algebra for hybrid systems of Bergstra and Middelburg and the formalism of hybrid automata of Henzinger et al. We give interpreta...
124
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
In the algebraic theory of codes and formal languages, the set Q of all primitive words over some alphabet Σ has received special interest. With this survey article we give an ove...