Sciweavers

1402 search results - page 20 / 281
» A Practical Agent Programming Language
Sort
View
ICLP
1997
Springer
13 years 11 months ago
A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages
Array updates in single assignment languages generally require some copying of the array, and thus tend to be more expensive than in imperative languages. As a result, programs in...
Andreas Kågedal, Saumya K. Debray
PLDI
2004
ACM
14 years 1 months ago
The set constraint/CFL reachability connection in practice
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new redu...
John Kodumal, Alexander Aiken
IFIP
1998
Springer
14 years 5 days ago
Security Requirements for Mobile Agents in Electronic Markets
Abstract. In this article we identify security threats and requirements for software agent systems in the context of an electronic market. A short description of our own agent syst...
Michael Zapf, Helge Müller, Kurt Geihs
CLIMA
2009
13 years 5 months ago
Operational Semantics for BDI Modules in Multi-agent Programming
This paper proposes an operational semantics for BDI modules that can be incorporated in multi-agent programming languages. The introduced concept of modules facilitates the implem...
Mehdi Dastani, Bas R. Steunebrink
CLIMA
2004
13 years 9 months ago
Planning Experiments in the DALI Logic Programming Language
We discuss some features of the new logic programming language DALI for agents and multi-agent systems. In particular, we aim at illustrating the treatment of proactivity, which is...
Stefania Costantini, Arianna Tocchio