1052 search results - page 24 / 211 » Distributed Logic Programming using Mobile Agents |
DALT
2006
Springer
14 years 1 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
FMCO
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
COMMA
2008
13 years 11 months ago
2008
PROMAS
2005
Springer
14 years 3 months ago
2005
Springer
3APL-M is a platform for building deliberative multi-agent systems whose components execute on handheld and embedded computational devices. The solution takes advantage of the 3APL...
AGENTS
2000
Springer
14 years 2 months ago
2000
Springer
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...