The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rafael H. Bordini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ana L. C. Bazzan, Rafael H. Bordini
    A framework for the simulation of agents with emotions. [Citation Graph (0, 0)][DBLP]
    Agents, 2001, pp:292-299 [Conf]
  2. Davide Ancona, Viviana Mascardi, Jomi Fred Hübner, Rafael H. Bordini
    Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2004, pp:696-705 [Conf]
  3. Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan
    Belief revision for AgentSpeak agents. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:1288-1290 [Conf]
  4. Ana L. C. Bazzan, Rafael H. Bordini, John A. Campbell
    Moral Sentiments in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    ATAL, 1998, pp:113-131 [Conf]
  5. Rafael H. Bordini, Ana L. C. Bazzan, Rafael de Oliveira Jannone, Daniel M. Basso, Rosa Maria Vicari, Victor R. Lesser
    AgentSpeak(XL): efficient intention selection in BDI agents via decision-theoretic task scheduling. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:1294-1302 [Conf]
  6. Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge
    Model checking agentspeak. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:409-416 [Conf]
  7. Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge
    State-Space Reduction Techniques in Agent Verification. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2004, pp:896-903 [Conf]
  8. Jomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge
    Plan patterns for declarative goals in AgentSpeak. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:1291-1293 [Conf]
  9. Rodrigo Machado, Rafael H. Bordini
    Running AgentSpeak(L) Agents on SIM_AGENT. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:158-174 [Conf]
  10. Maíra Ribeiro Rodrigues, Antônio Carlos da Rocha Costa, Rafael H. Bordini
    A system of exchange values to support social interactions in artificial societies. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:81-88 [Conf]
  11. Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge
    Model Checking Multi-Agent Programs with CASP. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:110-113 [Conf]
  12. Rafael H. Bordini, John A. Campbell, Renata Vieira
    Ascription of Intensional Ontologies in Anthropological Descriptions of Mult-Agent Systems. [Citation Graph (0, 0)][DBLP]
    CIA, 1997, pp:235-247 [Conf]
  13. Rafael H. Bordini, Jomi Fred Hübner
    BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper). [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:143-164 [Conf]
  14. Rafael H. Bordini, Álvaro F. Moreira
    Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. [Citation Graph (0, 0)][DBLP]
    CLIMA III, 2002, pp:94-108 [Conf]
  15. Rafael H. Bordini, Jomi Fred Hübner, Daniel M. Tralamazza
    Using Jason to Implement a Team of Gold Miners. [Citation Graph (0, 0)][DBLP]
    CLIMA VII, 2006, pp:304-313 [Conf]
  16. Á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. [Citation Graph (0, 0)][DBLP]
    DALT, 2003, pp:135-154 [Conf]
  17. Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini, Jomi Fred Hübner
    Agent-Oriented Programming with Underlying Ontological Reasoning. [Citation Graph (0, 0)][DBLP]
    DALT, 2005, pp:155-170 [Conf]
  18. Jomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge
    Programming Declarative Goals Using Plan Patterns. [Citation Graph (0, 0)][DBLP]
    DALT, 2006, pp:123-140 [Conf]
  19. Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan
    Automating Belief Revision for AgentSpeak. [Citation Graph (0, 0)][DBLP]
    DALT, 2006, pp:61-77 [Conf]
  20. Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa
    ELMS: An Environment Description Language for Multi-agent Simulation. [Citation Graph (0, 0)][DBLP]
    E4MAS, 2004, pp:91-108 [Conf]
  21. Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa
    Spatially Distributed Normative Infrastructure. [Citation Graph (0, 0)][DBLP]
    E4MAS, 2006, pp:203-220 [Conf]
  22. Ana L. C. Bazzan, Rafael H. Bordini, G. Andrioti, Rosa Maria Vicari, Joachim Wahle
    Wayward Agents in a Commuting Scenario (Personalities in the Minority Game). [Citation Graph (0, 0)][DBLP]
    ICMAS, 2000, pp:55-62 [Conf]
  23. Rafael H. Bordini, Antônio Carlos da Rocha Costa, Jomi Fred Hübner, Rosa Maria Viccari
    Linguistic Support for Agent Migration. [Citation Graph (0, 0)][DBLP]
    ICMAS, 1995, pp:441- [Conf]
  24. Renata Vieira, Álvaro F. Moreira, Rafael H. Bordini, Jomi Fred Hübner
    An Agent-Oriented Programming Language for Computing in Context. [Citation Graph (0, 0)][DBLP]
    IFIP PPAI, 2006, pp:61-70 [Conf]
  25. Jorge A. Torres, Luciana Porcher Nedel, Rafael H. Bordini
    Using the BDI Architecture to Produce Autonomous Characters in Virtual Worlds. [Citation Graph (0, 0)][DBLP]
    IVA, 2003, pp:197-201 [Conf]
  26. Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge
    Verifiable Multi-agent Programs. [Citation Graph (0, 0)][DBLP]
    PROMAS, 2003, pp:72-89 [Conf]
  27. Rafael H. Bordini, Fabio Y. Okuyama, Denise de Oliveira, Guilherme Drehmer, Romulo C. Krafta
    The MAS-SOC Approach to Multi-agent Based Simulation. [Citation Graph (0, 0)][DBLP]
    RASTA, 2002, pp:70-91 [Conf]
  28. Ana L. C. Bazzan, Diana F. Adamatti, Rafael H. Bordini
    Extending the Computational Study of Social Norms with a Systematic Model of Emotions. [Citation Graph (0, 0)][DBLP]
    SBIA, 2002, pp:108-117 [Conf]
  29. Ana L. C. Bazzan, Rafael H. Bordini, Rosa Maria Vicari, Joachim Wahle
    Evolving Populations of Agents with Personalities in the Minority Game. [Citation Graph (0, 0)][DBLP]
    IBERAMIA-SBIA, 2000, pp:166-175 [Conf]
  30. Rafael H. Bordini, Renata Vieira, John A. Campbell
    An Anthropological Approach to the Discovery of Ontologies in Multi-agent Societies. [Citation Graph (0, 0)][DBLP]
    Foundations and Applications of Multi-Agent Systems, 2002, pp:89-109 [Conf]
  31. Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge
    Verifying Multi-agent Programs by Model Checking. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 2006, v:12, n:2, pp:239-256 [Journal]
  32. Rafael H. Bordini, Álvaro F. Moreira
    Proving BDI Properties of Agent-Oriented Programming Languages. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2004, v:42, n:1-3, pp:197-226 [Journal]
  33. Rafael H. Bordini, Álvaro F. Moreira
    Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal]
  34. Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge
    Model Checking Rational Agents. [Citation Graph (0, 0)][DBLP]
    IEEE Intelligent Systems, 2004, v:19, n:5, pp:46-52 [Journal]
  35. Rafael H. Bordini, John A. Campbell, Renata Vieira
    Extending Ascribed Intensional Ontologies with Taxonomical Relations in Anthropological Descriptions of Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    J. Artificial Societies and Social Simulation, 1998, v:1, n:4, pp:- [Journal]
  36. Rafael H. Bordini, Renata Vieira
    Linguagens de Programação Orientadas a Agentes: Uma Introdução Baseada em AgentSpeak(L). [Citation Graph (0, 0)][DBLP]
    RITA, 2003, v:10, n:1, pp:7-38 [Journal]
  37. Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa
    Spatially Distributed Normative Objects. [Citation Graph (0, 0)][DBLP]
    Normative Multi-agent Systems, 2007, pp:- [Conf]
  38. Rafael H. Bordini, Mehdi Dastani, Michael Winikoff
    Current Issues in Multi-Agent Systems Development. [Citation Graph (0, 0)][DBLP]
    ESAW, 2006, pp:38-61 [Conf]

  39. Integrating heterogeneous agent programming platforms within artifact-based environments. [Citation Graph (, )][DBLP]


  40. A flexible framework for verifying agent programs. [Citation Graph (, )][DBLP]


  41. A distributed normative infrastructure for situated multi-agent organisations. [Citation Graph (, )][DBLP]


  42. Theoretical and experimental results on the goal-plan tree problem. [Citation Graph (, )][DBLP]


  43. A Normative Organisation Programming Language for Organisation Management Infrastructures. [Citation Graph (, )][DBLP]


  44. From Organisation Specification to Normative Programming in Multi-Agent Organisations. [Citation Graph (, )][DBLP]


  45. 06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems. [Citation Graph (, )][DBLP]


  46. 06261 Executive Summary -- Foundations and Practice of Programming Multi-Agent Systems. [Citation Graph (, )][DBLP]


  47. JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies. [Citation Graph (, )][DBLP]


  48. Towards Alternative Approaches to Reasoning About Goals. [Citation Graph (, )][DBLP]


  49. A Distributed Normative Infrastructure for Situated Multi-agent Organisations. [Citation Graph (, )][DBLP]


  50. An Alternative Approach for Reasoning about the Goal-Plan Tree Problem. [Citation Graph (, )][DBLP]


  51. Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions). [Citation Graph (, )][DBLP]


  52. Automated Verification of Multi-Agent Programs. [Citation Graph (, )][DBLP]


  53. A Common Semantic Basis for BDI Languages. [Citation Graph (, )][DBLP]


  54. Developing a Team of Gold Miners Using Jason. [Citation Graph (, )][DBLP]


  55. Using Jason and M\mathcal{M}oise + to Develop a Team of Cowboys. [Citation Graph (, )][DBLP]


  56. Formal verification of human-robot teamwork. [Citation Graph (, )][DBLP]


  57. Normative Programming for Organisation Management Infrastructures. [Citation Graph (, )][DBLP]


  58. Guest editorial: Special issue on the European Workshop on Multi-Agent Systems (EUMAS). [Citation Graph (, )][DBLP]


  59. Computational Logics and Agents: A Road Map of Current Technologies and Future Trends. [Citation Graph (, )][DBLP]


Search in 0.098secs, Finished in 0.101secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002