Sciweavers

1966 search results - page 238 / 394
» Description Logics and Planning
Sort
View
CN
2007
148views more  CN 2007»
15 years 6 months ago
A rigorous approach to orchestrating grid services
Although conceived for web services, it is shown how BPEL (Business Process Execution Language) can be used to orchestrate a collection of grid services. This is achieved using th...
Kenneth J. Turner, Koon Leai Larry Tan
ICFEM
2010
Springer
15 years 5 months ago
Model-Driven Protocol Design Based on Component Oriented Modeling
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
Prabhu Shankar Kaliappan, Hartmut König, Seba...
AAAI
2012
13 years 8 months ago
Characterizing Multi-Agent Team Behavior from Partial Team Tracings: Evidence from the English Premier League
Real-world AI systems have been recently deployed which can automatically analyze the plan and tactics of tennis players. As the game-state is updated regularly at short intervals...
Patrick Lucey, Alina Bialkowski, Peter Carr, Eric ...
CLIMA
2010
15 years 8 months ago
An Agent Language with Destructive Assignment and Model-Theoretic Semantics
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
Robert A. Kowalski, Fariba Sadri
MDM
2009
Springer
115views Communications» more  MDM 2009»
16 years 1 months ago
Supporting Contexts for Indoor Navigation Using a Multilayered Space Model
Indoor navigation highly depends on context and requires flexible data structures to support the many use cases and configurations. For example, an indoor navigation system must c...
Thomas Becker, Claus Nagel, Thomas H. Kolbe