264 search results - page 36 / 53 » Expressing Iterative Properties Logically in a Symbolic Sett... |
109
click to vote
CCE
2005
14 years 11 months ago
2005
Process network problems can be formulated as Generalized Disjunctive Programs where a logicbased representation is used to deal with the discrete and continuous decisions. A new ...
ICCAD
2005
IEEE
15 years 8 months ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
113
click to vote
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...
ATAL
2010
Springer
15 years 10 days ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
102
click to vote
IICAI
2007
15 years 20 days ago
2007
Logics of action, for reasoning about the effects of state change, and logics of belief, accounting for belief revision and update, have much in common. Furthermore, we may underta...