Sciweavers

169 search results - page 1 / 34
» Adding Structure to Agent Programming Languages
Sort
View
JAIR
2007
117views more  JAIR 2007»
13 years 4 months ago
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...
Renata Vieira, Álvaro F. Moreira, Michael W...
JOLLI
2008
145views more  JOLLI 2008»
13 years 4 months ago
Temporal Languages for Epistemic Programs
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
Joshua Sack
DALT
2003
Springer
13 years 9 months ago
Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication
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...
Álvaro F. Moreira, Renata Vieira, Rafael H....
IAT
2009
IEEE
13 years 11 months ago
Modularity in BDI-Based Multi-agent Programming Languages
—This paper proposes a module-based vision for designing BDI-based multi-agent programming languages. The introduced concept of modules enables common programming techniques such...
Mehdi Dastani, Bas R. Steunebrink