Sciweavers

1402 search results - page 8 / 281
» A Practical Agent Programming Language
Sort
View
FROCOS
2009
Springer
14 years 17 days ago
A Declarative Agent Programming Language Based on Action Theories
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
Conrad Drescher, Stephan Schiffel, Michael Thielsc...
ATAL
2006
Springer
13 years 11 months ago
On the complexity of practical ATL model checking
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
Wiebe van der Hoek, Alessio Lomuscio, Michael Wool...
ATAL
2006
Springer
13 years 11 months ago
A service-oriented language for programming mobile agents
In this paper we present Mob, a service-oriented scripting language for programming mobile agents in distributed systems. The main feature of the language is the integration of th...
Hervé Paulino, Luís M. B. Lopes
ATAL
2006
Springer
13 years 11 months ago
Goal-oriented modularity in agent programming
Modularization is widely recognized as a central issue in software engineering. In this paper we address the issue of modularization in cognitive agent programming languages. We d...
M. Birna van Riemsdijk, Mehdi Dastani, John-Jules ...
DALT
2008
Springer
13 years 9 months ago
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies
Abstract. Although various ideas for integrating Semantic Web and Agent Programming techniques have appeared in the literature, as yet no practical programming approach has managed...
Thomas Klapiscak, Rafael H. Bordini