318 search results - page 51 / 64 » Temporal Disjunctive Logic Programming |
115
click to vote
BIRTHDAY
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Bounded fairness is a stronger notion than ordinary eventuality-based fairness, one that guarantees occurrence of an event within a fixed number of occurrences of anothe...
142
click to vote
AAMAS
1999
Springer
15 years 1 months ago
1999
Springer
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
129
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
146
click to vote
SPIN
2001
Springer
15 years 5 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
124
click to vote
DALT
2009
Springer
15 years 4 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...