5198 search results - page 85 / 1040 » A Logic of Agent Programs |
138
Voted
ATAL
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We argue that none of the existing epistemic logics can adequately serve the needs of agent theories. We suggest a new concept of knowledge which generalizes both implici...
123
click to vote
AI
2005
Springer
15 years 3 months ago
2005
Springer
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
TOOLS
2000
IEEE
15 years 8 months ago
2000
IEEE
115
Voted
POPL
1999
ACM
15 years 8 months ago
1999
ACM
