565 search results - page 79 / 113 » Extending Answer Sets for Logic Programming Agents |
129
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
105
click to vote
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
176
click to vote
KI
2011
Springer
14 years 9 months ago
2011
Springer
Abstract We present the General Game Playing system Centurio. Centurio is a Java-based player featuring different strategies based on Monte Carlo Tree Search extended by technique...
157
click to vote
ESWS
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
144
click to vote
AAMAS
1999
Springer
15 years 1 months ago
1999
Springer
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...