1746 search results - page 45 / 350 » Architecture for Agent Programming Languages |
AUSAI
2005
Springer
14 years 1 months ago
2005
Springer
We are interested in programming languages for cognitive agents with preferences. We define rule-based agent theories and inference procedures in defeasible logic, and in this set...
DALT
2009
Springer
14 years 19 days 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...
JAPLL
2007
13 years 7 months ago
2007
We investigate the notion of an execution architecture in the setting of the program algebra PGA, and distinguish two sorts of these: analytic architectures, designed for the purp...
ASPLOS
2000
ACM
14 years 11 days ago
2000
ACM
be honored. Abstracting with credit is permitted. To copy otherwise, to sion and/or a fee. Request permissions from Publications Dept, ACM Inc., fax +1
ASPLOS
2006
ACM
14 years 2 months ago
2006
ACM
