Sciweavers

AI
2007
Springer
13 years 7 months ago
Metatheory of actions: Beyond consistency
Traditionally, consistency is the only criterion for the quality of a theory in logicbased approaches to reasoning about actions. This work goes beyond that and contributes to the...
Andreas Herzig, Ivan José Varzinczak
AI
2008
Springer
13 years 7 months ago
The well-designed young mathematician
This paper complements McCarthy's "The well designed child", in part by putting it in a broader context, the space of possible well designed progeny, and in part by...
Aaron Sloman
AI
2007
Springer
13 years 7 months ago
Instead of a review
Daniel Dennett
AI
2008
Springer
13 years 7 months ago
Generalised arc consistency for the AllDifferent constraint: An empirical survey
The AllDifferent constraint is a crucial component of any constraint toolkit, language or solver, since it is very widely used in a variety of constraint models. The literature con...
Ian P. Gent, Ian Miguel, Peter Nightingale
AI
2007
Springer
13 years 7 months ago
An application of formal argumentation: Fusing Bayesian networks in multi-agent systems
We consider a multi-agent system where each agent is equipped with a Bayesian network, and present an open framework for the agents to agree on a possible consensus network. The f...
Søren Holbech Nielsen, Simon Parsons
AI
2008
Springer
13 years 7 months ago
The well-designed child
This article is inspired by recent psychological studies confirming that a child is not born a blank slate but has important innate capabilities. An important part of the "le...
John McCarthy
AI
2007
Springer
13 years 7 months ago
On the merging of Dung's argumentation systems
In this paper, the problem of deriving sensible information from a collection of argumentation systems coming from different agents is addressed. The underlying argumentation the...
Sylvie Coste-Marquis, Caroline Devred, Séba...
AI
2007
Springer
13 years 7 months ago
On principle-based evaluation of extension-based argumentation semantics
The increasing variety of semantics proposed in the context of Dung’s theory of argumentation makes more and more inadequate the example-based approach commonly adopted for eval...
Pietro Baroni, Massimiliano Giacomin
AI
2007
Springer
13 years 7 months ago
Subjective logic and arguing with evidence
This paper introduces a Subjective Logic based argumentation framework primarily targeted at evidential reasoning. The framework explicitly caters for argument schemes, accrual of...
Nir Oren, Timothy J. Norman, Alun D. Preece
AI
2007
Springer
13 years 7 months ago
Laying the foundations for a World Wide Argument Web
Iyad Rahwan, Fouad Zablith, Chris Reed