1187 search results - page 46 / 238 » Computation in Extended Argumentation Frameworks |
IJCSA
2008
13 years 8 months ago
2008
: Ubiquitous integrated computing makes possible new workflow processes and business models which can meet the challenges from the fast growing digital convergence. An integrated i...
AOSE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. One of the main challenges for the successful application of agentbased systems in mobile and embedded devices is enabling application developers to reconcile the needs o...
ARGMAS
2005
Springer
14 years 2 months ago
2005
Springer
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...
JVA
2006
IEEE
14 years 2 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
WETICE
2005
IEEE
14 years 2 months ago
2005
IEEE
The demand for flexible, efficient and user-friendly collaborative services is becoming more and more urgent as the competition in the current marketoriented arena is getting more...