5198 search results - page 85 / 1040 » A Logic of Agent Programs |
ATAL
1997
Springer
15 years 3 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...
AI
2005
Springer
14 years 11 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 3 months ago
2000
IEEE
POPL
1999
ACM
15 years 3 months ago
1999
ACM
TOOLS
1999
IEEE
15 years 3 months ago
1999
IEEE
