Sciweavers

1402 search results - page 3 / 281
» A Practical Agent Programming Language
Sort
View
82
Voted
ECAIW
1994
Springer
15 years 1 months ago
Agent Theories, Architectures, and Languages: A Survey
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...
Michael Wooldridge, Nicholas R. Jennings
GLOBAL
2003
Springer
15 years 2 months ago
The Klaim Project: Theory and Practice
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gi...
KR
2010
Springer
14 years 11 months ago
Integrating Action Calculi and AgentSpeak: Closing the Gap
Existing action calculi provide rich, declarative formalisms for reasoning about actions. BDI-based programming languages like AgentSpeak, on the other hand, are procedural and ge...
Michael Thielscher
POPL
1999
ACM
15 years 1 months ago
Dependent Types in Practical Programming
Hongwei Xi, Frank Pfenning