Sciweavers

858 search results - page 39 / 172
» Planning and defeasible reasoning
Sort
View
AAMAS
2005
Springer
13 years 8 months ago
Argumentation and the Dynamics of Warranted Beliefs in Changing Environments
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New p...
Marcela Capobianco, Carlos Iván Chesñ...
DEON
2010
Springer
14 years 15 days ago
Avoiding Deontic Explosion by Contextually Restricting Aggregation
Abstract. In this paper, we present an adaptive logic for deontic conflicts, called P2.1r , that is based on Goble’s logic SDLaPe—a bimodal extension of Goble’s logic P that...
Joke Meheus, Mathieu Beirlaen, Frederik Van De Put...
DALT
2007
Springer
14 years 2 months ago
Towards Alternative Approaches to Reasoning About Goals
Agent-oriented programming languages have gone a long way in the level of sophistication offered to programmers, and there has also been much progress in tools to support multi-ag...
Patricia H. Shaw, Rafael H. Bordini
ICLP
2009
Springer
14 years 9 months ago
Logic Programming for Multiagent Planning with Negotiation
Multiagent planning deals with the problem of generating plans for multiple agents. It requires formalizing ways for the agents to interact and cooperate, in order to achieve their...
Tran Cao Son, Enrico Pontelli, Chiaki Sakama
AIPS
2010
13 years 10 months ago
Computing Applicability Conditions for Plans with Loops
The utility of including loops in plans has been long recognized by the planning community. Loops in a plan help increase both its applicability and the compactness of representat...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...