5198 search results - page 127 / 1040 » A Logic of Agent Programs |
ICALP
1998
Springer
15 years 3 months ago
1998
Springer
The complexity of LTrL, a global linear time temporal logic over traces is investigated. The logic is global because the truth of a formula is evaluated in a global state, also ca...
129
click to vote
ATAL
2008
Springer
15 years 18 days ago
2008
Springer
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (...
108
click to vote
AAAI
2007
15 years 1 months ago
2007
A team of agents is jointly able to achieve a goal if despite any incomplete knowledge they may have about the world or each other, they still know enough to be able to get to a g...
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. As far as we know, there is no multi-agent system allowing to talk both about choices of agents or groups of agents, strategies, and about sufficiently rich actions. This...
AAAI
1998
15 years 25 days ago
1998
This paper describes a logical machineryfor computing decisions based on an ATMSprocedure, wherethe available knowledgeon the state of the world is describedbya possibilistic prop...