Sciweavers

240 search results - page 23 / 48
» A Logic for Reasoning about Rational Agents
Sort
View
88
Voted
AI
2005
Springer
14 years 11 months ago
On the logic of cooperation and propositional control
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...
Wiebe van der Hoek, Michael Wooldridge
ECAI
2004
Springer
15 years 5 months ago
Agent Planning, Negotiation and Control of Operation
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...
Antonis C. Kakas, Paolo Torroni, Neophytos Demetri...
91
Voted
JUCS
2010
114views more  JUCS 2010»
14 years 10 months ago
Deontic Logic-based Framework for Ontology Aligment in Agent Communities
: In this paper we consider a multiagent system with multiple ontologies. The agents maintain the ontologies individually which leads to frequent changes and possible knowledge inc...
Grzegorz Kolaczek, Krzysztof Juszczyszyn
AIM
2005
14 years 11 months ago
Description Logics and Planning
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...
Yolanda Gil
ATAL
2007
Springer
15 years 3 months ago
Temporal linear logic as a basis for flexible agent interactions
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
Duc Quang Pham, James Harland