Sciweavers

1001 search results - page 1 / 201
» Testing Formal Dialectic
Sort
View
ARGMAS
2005
Springer
13 years 10 months ago
Testing Formal Dialectic
Systems of argumentation or ’computational dialectic’ are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of co...
Simon Wells, Chris Reed
ATAL
2005
Springer
13 years 10 months ago
A drosophila for computational dialectics
Systems of argumentation or ’computational dialectic’ are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of c...
Simon Wells, Chris Reed
AAAI
2000
13 years 5 months ago
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
Sheila A. McIlraith, Richard B. Scherl
CORR
2002
Springer
169views Education» more  CORR 2002»
13 years 4 months ago
On the existence and multiplicity of extensions in dialectical argumentation
In the present paper, the existence and multiplicity problems of extensions are addressed. The focus is on extension of the stable type. The main result of the paper is an elegant...
Bart Verheij
ARGMAS
2004
Springer
13 years 8 months ago
Formal Dialectic Specification
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...
Simon Wells, Chris Reed