1769 search results - page 49 / 354 » An implementation of argument based discussion |
CLIMA
2004
13 years 11 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
ALIFE
2006
13 years 10 months ago
2006
An evolutionary system that supports the interaction of neutral and adaptive mutations is investigated. Experimental results on a Boolean function and needle-in-haystack problems s...
TCS
2008
13 years 10 months ago
2008
Analysis of Distributed Abstract Machines Damien Pous ENS Lyon, France. We illustrate the use of recently developed proof techniques for weak bisimulation sing a generic framework...
JAR
2010
13 years 4 months ago
2010
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...
W2GIS
2005
Springer
14 years 3 months ago
2005
Springer
This paper discusses the dynamic presentation of heterogeneous spatio-temporal content along a trajectory. Applications based on this scheme provide users with the ability to view ...