17054 search results - page 108 / 3411 » Logics of Dynamical Systems |
107
Voted
FUIN
2006
15 years 4 months ago
2006
Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest--the temporal evolution...
118
Voted
CADE
2002
Springer
16 years 4 months ago
2002
Springer
153
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
Abstract. We explain the raison d’ˆetre and basic ideas of our gametheoretic approach to normative multiagent systems, sketching the central elements with pointers to other publ...
141
Voted
ECIR
1998
Springer
15 years 6 months ago
1998
Springer
Probabilistic Argumentation Systems (PAS) are a technique for representing uncertainty both symbolically and numerically. It is shown that this technique, which combines symbolic ...
139
click to vote
JLP
2008
15 years 4 months ago
2008
Currently known sequent systems for temporal logics such as linear time temporal logic and computation tree logic either rely on a cut rule, an invariant rule, or an infinitary ru...