Sciweavers

AI
2007
Springer
13 years 11 months ago
Iterated belief revision, revised
The AGM postulates for belief revision, augmented by the DP postulates for iterated belief revision, provide generally accepted criteria for the design of operators by which intel...
Yi Jin, Michael Thielscher
AI
2007
Springer
13 years 11 months ago
Anyone but him: The complexity of precluding an alternative
Preference aggregation in a multiagent setting is a central issue in both human and computer contexts. In this paper, we study in terms of complexity the vulnerability of preferen...
Edith Hemaspaandra, Lane A. Hemaspaandra, Jör...
AI
2007
Springer
13 years 11 months ago
Determining the consistency of partial tree descriptions
We present an efficient algorithm that checks the consistency of partial descriptions of ordered trees. The constraint language of these descriptions was introduced by Cornell in c...
Manuel Bodirsky, Martin Kutz
AI
2007
Springer
13 years 11 months ago
On the evaluation of argumentation formalisms
Argumentation theory has become an important topic in the field of AI. The basic idea is to construct arguments in favor and against a statement, to select the “acceptable” o...
Martin Caminada, Leila Amgoud
AI
2007
Springer
13 years 11 months ago
Audiences in argumentation frameworks
Although reasoning about what is the case has been the historic focus of logic, reasoning about what should be done is an equally important capacity for an intelligent agent. Reas...
Trevor J. M. Bench-Capon, Sylvie Doutre, Paul E. D...
AI
2007
Springer
13 years 11 months ago
Learning action models from plan examples using weighted MAX-SAT
AI planning requires the definition of action models using a formal action and plan description language, such as the standard Planning Domain Definition Language (PDDL), as inp...
Qiang Yang, Kangheng Wu, Yunfei Jiang
AI
2007
Springer
13 years 11 months ago
A spectrum of compromise aggregation operators for multi-attribute decision making
In many decision making problems, a number of independent attributes or criteria are often used to individually rate an alternative from an agent’s local perspective and then th...
Xudong Luo, Nicholas R. Jennings
AI
2007
Springer
13 years 11 months ago
Axiomatic characterization of the AGM theory of belief revision in a temporal logic
Since belief revision deals with the interaction of belief and information over time, branching-time temporal logic seems a natural setting for a theory of belief change. We propo...
Giacomo Bonanno
AI
2007
Springer
13 years 11 months ago
AND/OR search spaces for graphical models
Rina Dechter, Robert Mateescu