1912 search results - page 97 / 383 » On the evaluation of argumentation formalisms |
151
click to vote
DALT
2009
Springer
16 years 27 days ago
2009
Springer
In this paper, we investigate the multiagent planning problem in the presence of cooperative actions and agents, which have their own goals and are willing to cooperate. To this en...
179
click to vote
HASKELL
2009
ACM
16 years 25 days ago
2009
ACM
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
175
click to vote
LICS
2008
IEEE
16 years 21 days ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
149
click to vote
CEC
2007
IEEE
16 years 20 days ago
2007
IEEE
— We present an ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population computes t...
170
click to vote
FORMATS
2007
Springer
16 years 14 days ago
2007
Springer
The basic modal operator bounded until of Metric Temporal Logic (MTL) comes in several variants. In particular it can be strict (when it does not constrain the current instant) or...