255 search results - page 1 / 51 » Proving BDI Properties of Agent-Oriented Programming Languag... |
AMAI
2004
Springer
13 years 8 months ago
2004
Springer
DALT
2003
Springer
14 years 1 months ago
2003
Springer
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent’s architecture (in parti...
AAMAS
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
PLDI
2012
ACM
11 years 11 months ago
2012
ACM
Approximate program transformations such as skipping tasks [29, 30], loop perforation [21, 22, 35], reduction sampling [38], multiple selectable implementations [3, 4, 16, 38], dy...
DALT
2005
Springer
14 years 2 months ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...