All Stories

  1. Deceptive Topographic Path Planning

    Article • November 2023, ACM (Association for Computing Machinery)

    Rafael H Bordini

  2. A computational model of argumentation schemes for multi-agent systems

    Article • Argument & Computation, November 2021, IOS Press

    Rafael H Bordini

  3. GoDonnie: A Robot Programming Language to Improve Orientation and Mobility Skills in People Who are Visually Impaired

    Article • October 2019, ACM (Association for Computing Machinery)

    Rafael H Bordini

  4. Inside the minds of deceptive machines

    Article • AI Communications, October 2019, IOS Press

    Alison R Panisson, Rafael H Bordini, Stefan Sarkadi

  5. Applying ontologies to the development and execution of Multi-Agent Systems

    Article • Web Intelligence, November 2017, IOS Press

    Artur Freitas, Alison R Panisson, Rafael H Bordini

  6. Model-driven engineering of multi-agent systems based on ontologies

    Article • Applied Ontology, June 2017, IOS Press

    Artur Freitas, Rafael H Bordini

  7. A normative programming language for multi-agent organisations

    Article • Annals of Mathematics and Artificial Intelligence, June 2011, Springer Science + Business Media

    Rafael H Bordini

  8. Model checking agent programming languages

    Article • Automated Software Engineering, May 2011, Springer Science + Business Media

    Rafael H Bordini

  9. Preface

    Article • Autonomous Agents and Multi-Agent Systems, January 2011, Springer Science + Business Media

    Rafael H Bordini

  10. Using agent- and organisation-oriented programming to develop a team of agents for a competitive game

    Article • Annals of Mathematics and Artificial Intelligence, April 2010, Springer Science + Business Media

    Rafael H Bordini

  11. Property-based Slicing for Agent Verification

    Article • Journal of Logic and Computation, June 2009, Oxford University Press (OUP)

    Rafael H Bordini

  12. Guest editorial: Special issue on the European Workshop on Multi-Agent Systems (EUMAS)

    Article • Autonomous Agents and Multi-Agent Systems, April 2009, Springer Science + Business Media

    Rafael H Bordini

  13. COMPUTATIONAL LOGICS AND AGENTS: A ROAD MAP OF CURRENT TECHNOLOGIES AND FUTURE TRENDS

    Article • Computational Intelligence, February 2007, Wiley

    Rafael H Bordini

  14. Verifying Multi-agent Programs by Model Checking

    Article • Autonomous Agents and Multi-Agent Systems, February 2006, Springer Science + Business Media

    Rafael H Bordini

  15. Model Checking Rational Agents

    Article • IEEE Intelligent Systems, September 2004, Institute of Electrical & Electronics Engineers (IEEE)

    Rafael H Bordini

  16. Proving BDI Properties of Agent-Oriented Programming Languages

    Article • Annals of Mathematics and Artificial Intelligence, September 2004, Springer Science + Business Media

    Rafael H Bordini

  17. Using BDI agents to improve driver modelling in a commuter scenario

    Article • Transportation Research Part C Emerging Technologies, October 2002, Elsevier

    Rafael H Bordini