7 citations found. Retrieving documents...
Jan Murray, Oliver Obst, and Frieder Stolzenburg. Towards a logical approach for soccer agents engineering. In Peter Stone, Tucker Balch, and Gerhard Kraetzschmar, editors, RoboCup 2000.

 Home/Search   Document Details and Download   Summary   Related Articles   Check  

This paper is cited in the following contexts:
The Incremental Development of a Synthetic Multi-Agent System: .. - de Boer, Kok (2002)   (2 citations)  (Correct)

....Logic is used as a control language for deciding how an agent should behave in situations where there is possibly more than one choice. The agents use logical rules in decision trees to make these choices. In order to specify the more procedural aspects of agent behavior, statecharts are adopted [64]. Robolog Koblenz became 5th at EuRoboCup 2000. Gemini. A significant feature of this team is that cooperation between agents is achieved without using inter agent communication [65] Reinforcement learning is used to select the best strategy against an opponent based on statistical ....

.... 2nd WC00 Magma Freiburg [24, 25, 26] 2nd WC99, 5th WC00 AT Humboldt [3, 10, 11] 1st WC97, 2nd WC98, 7th WC99 Windmill Wanderers [17, 18] 3rd WC98, 9th WC99 Mainz Roling Brains [111, 112, 113] 5th WC98, 5th WC99 YowAI [106, 107] 7th WC99, 1st JO00, 5th WC00 Footux [34] RoboLog Koblenz [63, 64, 89] 5th EC00 Gemini [65] 7th WC98, 9th WC00 Table 2.3: References for further reading about several successful soccer simulation teams. Significant competition results of these teams are shown on the right. Here WC denotes World Championship, EC denotes European Championship, PR denotes ....

J. Murray, O. Obst, and F. Stolzenburg. Towards a Logical Approach for Soccer Agents Engineering. In P. Stone, T. Balch, and G. Kraetszchmar, editors, RoboCup-2000.


Towards a League-Independent Qualitative Soccer.. - Dylla, Ferrein.. (2004)   (1 citation)  Self-citation (Murray Obst Stolzenburg)   (Correct)

No context found.

Jan Murray, Oliver Obst, and Frieder Stolzenburg. Towards a logical approach for soccer agents engineering. In Peter Stone, Tucker Balch, and Gerhard Kraetzschmar, editors, RoboCup 2000.


Computing Generalized Specificity - Stolzenburg, Garcia, Chesnevar.. (2002)   Self-citation (Stolzenburg)   (Correct)

No context found.

MURRAY J., OBST O., STOLZENBURG F., "Towards a Logical Approach for Soccer Agents Engineering", STONE P., BALCH T., KRAETZSCHMAR G., Eds., RoboCup 2000: Robot Soccer World Cup IV, LNAI 2019, p. 199-208, Springer, Berlin, Heidelberg, New York, 2001.


From the Specification of Multiagent Systems by Statecharts.. - Stolzenburg, Arai   Self-citation (Stolzenburg)   (Correct)

No context found.

J. Murray, O. Obst, and F. Stolzenburg. Towards a logical approach for soccer agents engineering. In P. Stone, T. Balch, and G. Kraetzschmar, editors, RoboCup 2000: Robot Soccer World Cup IV, LNAI 2019, pages 199--208. Springer, Berlin, Heidelberg, New York, 2001.


Using Model-Based Diagnosis to Build Hypotheses about Spatial.. - Obst (2003)   Self-citation (Obst)   (Correct)

....of the complete device is initially unknown. By hierarchically layering the components and assuming the most simple structure not contradicting the observations we estimate the state of yet unknown components. 5. 2 Other Related Work As in our approach to specify and implement a team of agents [Murray et al. 2001; Murray et al. 2002] the authors in [Ciampolini et al. 2000] use a logical approach to specify the knowledge of an agent. The agent architecture ALIAS is introduced, where agents are equipped with hypothetical reasoning capabilities. The motivation to implement hypothetical reasoning is ....

Jan Murray, Oliver Obst, and Frieder Stolzenburg. Towards a logical approach for soccer agents engineering. In Peter Stone, Tucker Balch, and Gerhard Kraetzschmar, editors, RoboCup-2000: Robot Soccer World Cup IV, number 2019 in Lecture Notes in Artificial Intelligence, pages 199--208. Springer, Berlin, Heidelberg, New York, 2001.


Qualitative Velocity and Ball Interception - Stolzenburg, Obst, Murray (2002)   (1 citation)  Self-citation (Murray Obst Stolzenburg)   (Correct)

....by providing a standard problem where a wide range of technologies can be integrated and examined. There are annual tournaments in different leagues with real robots of different sizes or virtual, i.e. simulated robots. The authors of this paper are involved in the simulation league (see e.g. [5, 10]) with simulated soccer agents using the Soccer Server [3, 7] a physical soccer simulation system. The Soccer Server is a system that enables autonomous agents consisting of programs written in various programming languages to play a match of soccer (association football) against each other. A ....

Jan Murray, Oliver Obst, and Frieder Stolzenburg. Towards a logical approach for soccer agents engineering. In Peter Stone, Tucker Balch, and Gerhard Kraetzschmar, editors, RoboCup 2000.


Multiagent Systems Specification by UML Statecharts Aiming.. - Arai, Stolzenburg (2001)   (8 citations)  Self-citation (Stolzenburg)   (Correct)

....of multiagent systems can be specified with one and the same formalism, namely statecharts, which we introduce beforehand in Section 2. Multiagent systems are studied in the domain of robotic soccer, in which the behavior of agents including collaboration is specified by means of UML statecharts [8]. Since this method seems to be applicable to the above industrial applications, we introduce the network application domain in order to investigate the effectiveness of the method in this domain. Then, we discuss the general problem of specifying multiagent systems by means of UML statecharts ....

....But we will see that even for heterogenous agent systems the whole multiagent system can be specified within one statechart (see Section 3.2) Since guards are logical formulae, it seems to be a good idea to implement state machines in a logic programming language such as Prolog. This is done in [8, 13], where an approach for developing soccer agents declaratively is presented. The advantage of making use of Prolog is that by this, guard conditions can be expressed adequately, yielding us a rule based specification. For instance, the decision process can be programmed conveniently in Prolog, ....

J. Murray, O. Obst, and F. Stolzenburg. Towards a logical approach for soccer agents engineering. In P. Stone, T. Balch, and G. Kraetzschmar, editors, RoboCup

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC