1187 search results - page 31 / 238 » Computation in Extended Argumentation Frameworks |
ICFP
1997
ACM
14 years 19 days ago
1997
ACM
We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...
MATA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper presents framework that can be used for improving working conditions. We have extended intelligent agents technology for the Internet with cell phone technolog...
ACMACE
2004
ACM
14 years 1 months ago
2004
ACM
We introduce a multi-agent framework to generate reports of players' activities within multi-player computer games so that other players who are currently unable to participa...
JCC
2008
13 years 8 months ago
2008
: In accounting for the magnetic properties of discrete and extended compounds with unpaired spins, it is crucial to know the nature of their ground and low-lying excited states. I...
PODS
2004
ACM
14 years 8 months ago
2004
ACM
The problem of deciding query containment has important applications in classical query optimization and heterogeneous database systems. Query containment is undecidable for unres...