Sciweavers

311 search results - page 1 / 63
» A logic based language for networked agents
Sort
View
INFSOF
1998
88views more  INFSOF 1998»
13 years 3 months ago
A logic based language for networked agents
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...
Dianxiang Xu
FROCOS
2009
Springer
13 years 8 months 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...
KI
2006
Springer
13 years 3 months ago
Agent Logics as Program Logics: Grounding KARO
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
Koen V. Hindriks, John-Jules Ch. Meyer
DALT
2007
Springer
13 years 9 months ago
Integrating Agent Models and Dynamical Systems
Agent-based modelling approaches are usually based on logical languages, whereas in many areas dynamical system models based on differential equations are used. This paper shows ho...
Tibor Bosse, Alexei Sharpanskykh, Jan Treur