4737 search results - page 70 / 948 » The LOGIC negotiation model |
151
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
124
click to vote
AAAI
1990
15 years 4 months ago
1990
In this paper we present a purely semantic view on non-monotonic reasoning. We follow the direction pointed in [16] and claim that any non-monotonic logic can be viewed as a resul...
111
click to vote
AAAI
2004
15 years 4 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
126
click to vote
ECIR
1998
Springer
15 years 4 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 ...