2007 |
7 | EE | Renata Vieira,
Álvaro F. Moreira,
Michael Wooldridge,
Rafael H. Bordini:
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language.
J. Artif. Intell. Res. (JAIR) 29: 221-267 (2007) |
2006 |
6 | EE | Renata Vieira,
Álvaro F. Moreira,
Rafael H. Bordini,
Jomi Fred Hübner:
An Agent-Oriented Programming Language for Computing in Context.
IFIP PPAI 2006: 61-70 |
2005 |
5 | EE | Álvaro F. Moreira,
Renata Vieira,
Rafael H. Bordini,
Jomi Fred Hübner:
Agent-Oriented Programming with Underlying Ontological Reasoning.
DALT 2005: 155-170 |
2004 |
4 | EE | Rafael H. Bordini,
Álvaro F. Moreira:
Proving BDI Properties of Agent-Oriented Programming Languages.
Ann. Math. Artif. Intell. 42(1-3): 197-226 (2004) |
2003 |
3 | EE | Álvaro F. Moreira,
Renata Vieira,
Rafael H. Bordini:
Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication.
DALT 2003: 135-154 |
2002 |
2 | | Rafael H. Bordini,
Álvaro F. Moreira:
Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language.
CLIMA III 2002: 94-108 |
1 | EE | Rafael H. Bordini,
Álvaro F. Moreira:
Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language.
Electr. Notes Theor. Comput. Sci. 70(5): (2002) |