Sciweavers

1402 search results - page 3 / 281
» A Practical Agent Programming Language
Sort
View
ECAIW
1994
Springer
14 years 14 hour 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
14 years 1 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
13 years 10 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
14 years 7 days ago
Dependent Types in Practical Programming
Hongwei Xi, Frank Pfenning