155 search results - page 3 / 31 » Foundations of a Logical Approach to Agent Programming |
100
Voted
ENTCS
2007
14 years 9 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
112
click to vote
DALT
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
72
Voted
KI
2009
Springer
15 years 2 months ago
2009
Springer
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
100
Voted
CLIMA
2006
14 years 11 months ago
2006
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...
96
Voted
DALT
2004
Springer
15 years 1 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...