2067 search results - page 103 / 414 » Logics of propositional control |
138
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
Weighted voting games are a natural and practically important class of simple coalitional games, in which each agent is assigned a numeric weight, and a coalition is deemed to be ...
118
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...
116
click to vote
SIMPRA
2008
15 years 1 months ago
2008
This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...
119
Voted
JCP
2008
15 years 1 months ago
2008
Two controllers which extend the PD+I fuzzy logic controller to deal with the plant having time varying nonlinear dynamics are proposed. The adaptation ability of the first self tu...
126
click to vote
TABLEAUX
2009
Springer
15 years 8 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...