Rafael H. Bordini

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Conflicting goals in agent-oriented programming.

[BibT_eX]

[DOI]

Maicon Rafael Zatelli

Alessandro Ricci

Proceedings of the 6th International Workshop on Programming Based on Actors, 2016

2015

Special issue on programming based on actors, agents and decentralized control.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Towards Multi-Level Semantics for Multi-Agent Systems.

[BibT_eX]

[DOI]

Alison R. Panisson

Proceedings of the Third Workshop-School on Theoretical Computer Science, 2015

Towards Practical Argumentation-Based Dialogues in Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015

Integrating Ontologies with Multi-Agent Systems through CArtAgO Artifacts.

[BibT_eX]

[DOI]

Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015

Towards Integrating Ontologies in Multi-agent Programming Platforms.

[BibT_eX]

[DOI]

Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015

Automatic Generation of Plan Libraries for Plan Recognition Performance Evaluation.

[BibT_eX]

[DOI]

Giovani Parente Farias

Lucas Welter Hilgert

Felipe Rech Meneguzzi

João Mario Lopes Brezolin

Rafael Heitor Bordini

Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015

Using Conceptual Spaces for Belief Update in Multi-agent Systems.

[BibT_eX]

[DOI]

Sandro Rama Fiorini

Márcia de Borba Campos

João Mario Lopes Brezolin

Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015

Using Conceptual Spaces for Object Recognition in Multi-agent Systems.

[BibT_eX]

[DOI]

Sandro Rama Fiorini

Márcia de Borba Campos

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

An Ontology for Collaborative Tasks in Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Brazilian Seminar on Ontologies (ONTOBRAS 2015), 2015

Distributed fault diagnosis for multiple mobile robots using an agent programming language.

[BibT_eX]

[DOI]

Marcio G. Morais

Felipe Rech Meneguzzi

Alexandre M. Amory

Proceedings of the International Conference on Advanced Robotics, 2015

Towards Practical Argumentation in Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 2015 Brazilian Conference on Intelligent Systems, 2015

2014

CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services.

[BibT_eX]

[DOI]

Web Intell. Agent Syst., 2014

Semantic Representations of Agent Plans and Planning Problem Domains.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

Formal semantics of speech acts for argumentative dialogues.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Applying Ontologies and Agent Technologies to Generate Ambient Intelligence Applications.

[BibT_eX]

[DOI]

Proceedings of the Agent Technology for Intelligent Mobile Services and Smart Societies, 2014

Dealing with ambiguity in plan recognition under time constraints.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Unravelling Multi-agent-Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering, 2014

2013

Multi-agent oriented programming with JaCaMo.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

Situated normative infrastructures: the normative object approach.

[BibT_eX]

[DOI]

Fabio Yoshimitsu Okuyama

J. Log. Comput., 2013

Interaction Patterns in a Multi-Agent Organisation to Support Shared Tasks.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Using Context, 2013

Benchmarking communication in actor- and agent-based languages.

[BibT_eX]

[DOI]

Rafael C. Cardoso

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Analysis of the Use of Events and States as Brute Facts in Modelling of Institutional Facts.

[BibT_eX]

[DOI]

Maiquel de Brito

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems IX, 2013

Towards benchmarking actor- and agent-based programming languages.

[BibT_eX]

[DOI]

Rafael C. Cardoso

Maicon Rafael Zatelli

Proceedings of the 2013 Workshop on Programming based on Actors, 2013

2012

Model checking agent programming languages.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2012

AGERE!: programming based on actors, agents, and decentralized control.

[BibT_eX]

[DOI]

Proceedings of the SPLASH'12, 2012

Programming Institutional Facts in Multi-Agent Systems.

[BibT_eX]

[DOI]

Maiquel de Brito

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems VIII, 2012

2011

A normative programming language for multi-agent organisations.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2011

Preface.

[BibT_eX]

[DOI]

Jürgen Dix

Auton. Agents Multi Agent Syst., 2011

Developing a Knowledge Management Multi-Agent System Using JaCaMo.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems - 9th International Workshop, 2011

Agere! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control.

[BibT_eX]

[DOI]

Alessandro Ricci

Gul Agha

Proceedings of the SPLASH'11 Workshops, 2011

CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2011

Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies IX, 2011

Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification - Extended Abstract for a Course at DALT Spring School 2011.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies IX, 2011

2010

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

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2010

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

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2010

An Interface for Agent-Environment Interaction.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems - 8th International Workshop, 2010

An Alternative Approach for Reasoning about the Goal-Plan Tree Problem.

[BibT_eX]

[DOI]

Patricia H. Shaw

Proceedings of the Languages, Methodologies, and Development Tools for Multi-Agent Systems, 2010

Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions).

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

From Organisation Specification to Normative Programming in Multi-Agent Organisations.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

2009

Property-based Slicing for Agent Verification.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

Normative Programming for Organisation Management Infrastructures.

[BibT_eX]

[DOI]

Proceedings of the Second Multi-Agent Logics, 2009

Formal verification of human-robot teamwork.

[BibT_eX]

[DOI]

Maarten Sierhuis

Proceedings of the 4th ACM/IEEE International Conference on Human Robot Interaction, 2009

A Normative Organisation Programming Language for Organisation Management Infrastructures.

[BibT_eX]

[DOI]

Proceedings of the Coordination, 2009

Agent-Based Simulation Using BDI Programming in Jason.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems - Simulation and Applications., 2009

2008

Using Jason and M\mathcal{M}oise + to Develop a Team of Cowboys.

[BibT_eX]

[DOI]

Gauthier Picard

Proceedings of the Programming Multi-Agent Systems, 2008

Automated Verification of Multi-Agent Programs.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

A Distributed Normative Infrastructure for Situated Multi-agent Organisations.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VI, 2008

JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies.

[BibT_eX]

[DOI]

Thomas Klapiscak

Proceedings of the Declarative Agent Languages and Technologies VI, 2008

08361 Executive Summary - Programming Multi-Agent Systems.

[BibT_eX]

[DOI]

Jürgen Dix

Proceedings of the Programming Multi-Agent Systems, 31.08. - 05.09.2008, 2008

08361 Abstracts Collection - Programming Multi-Agent Systems.

[BibT_eX]

[DOI]

Jürgen Dix

Proceedings of the Programming Multi-Agent Systems, 31.08. - 05.09.2008, 2008

Theoretical and experimental results on the goal-plan tree problem.

[BibT_eX]

[DOI]

Patricia H. Shaw

Berndt Farwer

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Integrating heterogeneous agent programming platforms within artifact-based environments.

[BibT_eX]

[DOI]

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

A flexible framework for verifying agent programs.

[BibT_eX]

[DOI]

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007

On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2007

Computational Logics and Agents: A Road Map of Current Technologies and Future Trends.

[BibT_eX]

[DOI]

Comput. Intell., 2007

Developing a Team of Gold Miners Using Jason.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

A Common Semantic Basis for BDI Languages.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

Towards Alternative Approaches to Reasoning About Goals.

[BibT_eX]

[DOI]

Patricia H. Shaw

Proceedings of the Declarative Agent Languages and Technologies V, 2007

Spatially Distributed Normative Objects.

[BibT_eX]

[DOI]

Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007

2006

A Survey of Programming Languages and Platforms for Multi-Agent Systems.

[BibT_eX]

[DOI]

Lars Braubach

Informatica (Slovenia), 2006

Verifying Multi-agent Programs by Model Checking.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2006

An Agent-Oriented Programming Language for Computing in Context.

[BibT_eX]

[DOI]

Proceedings of the Toward Category-Level Object Recognition, 2006

Current Issues in Multi-Agent Systems Development.

[BibT_eX]

[DOI]

Michael Winikoff

Proceedings of the Engineering Societies in the Agents World VII, 2006

Spatially Distributed Normative Infrastructure.

[BibT_eX]

[DOI]

Proceedings of the Environments for Multi-Agent Systems III, Third International Workshop, 2006

Programming Declarative Goals Using Plan Patterns.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies IV, 2006

Automating Belief Revision for AgentSpeak.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies IV, 2006

06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems.

[BibT_eX]

[DOI]

John-Jules Ch. Meyer

Proceedings of the Foundations and Practice of Programming Multi-Agent Systems, 25.06., 2006

06261 Executive Summary -- Foundations and Practice of Programming Multi-Agent Systems.

[BibT_eX]

[DOI]

John-Jules Ch. Meyer

Proceedings of the Foundations and Practice of Programming Multi-Agent Systems, 25.06., 2006

Using Jason to Implement a Team of Gold Miners.

[BibT_eX]

[DOI]

Daniel M. Tralamazza

Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

Plan patterns for declarative goals in AgentSpeak.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Belief revision for AgentSpeak agents.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005

MAS-SOC: a Social Simulation Platform Based on Agent-Oriented Programming.

[BibT_eX]

[DOI]

J. Artif. Soc. Soc. Simul., 2005

Agent-Oriented Programming with Underlying Ontological Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies III, 2005

BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper).

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

Jason and the Golden Fleece of Agent-Oriented Programming.

[BibT_eX]

Proceedings of the Multi-Agent Programming: Languages, Platforms and Applications, 2005

2004

Model Checking Rational Agents.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2004

Proving BDI Properties of Agent-Oriented Programming Languages.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2004

ELMS: An Environment Description Language for Multi-agent Simulation.

[BibT_eX]

[DOI]

Proceedings of the Environments for Multi-Agent Systems, First International Workshop, 2004

State-Space Reduction Techniques in Agent Verification.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2003

Linguagens de Programação Orientadas a Agentes: Uma Introdução Baseada em AgentSpeak(L).

[BibT_eX]

RITA, 2003

Verifiable Multi-agent Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, First International Workshop, 2003

Using the BDI Architecture to Produce Autonomous Characters in Virtual Worlds.

[BibT_eX]

[DOI]

Jorge A. Torres

Luciana Porcher Nedel

Proceedings of the Intelligent Agents, 4th International Workshop, 2003

Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies, 2003

Model Checking Multi-Agent Programs with CASP.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

A system of exchange values to support social interactions in artificial societies.

[BibT_eX]

[DOI]

Maíra Ribeiro Rodrigues

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Model checking agentspeak.

[BibT_eX]

[DOI]

Carmen Pardavila

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002

Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2002

An Anthropological Approach to the Discovery of Ontologies in Multi-agent Societies.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Applications of Multi-Agent Systems, 2002

Extending the Computational Study of Social Norms with a Systematic Model of Emotions.

[BibT_eX]

[DOI]

Diana Francisca Adamatti

Proceedings of the Advances in Artificial Intelligence, 2002

The MAS-SOC Approach to Multi-agent Based Simulation.

[BibT_eX]

[DOI]

Proceedings of the Regulated Agent-Based Social Systems, First International Workshop, 2002

Using pedagogical agents to support collaborative distance learning.

[BibT_eX]

[DOI]

Patrícia Augustin Jaques

Adja Ferreira de Andrade

João Luiz Jung

Rosa Vicari

Proceedings of the Conference on Computer Support for Collaborative Learning: Foundations for a CSCL Community, 2002

AgentSpeak(XL): efficient intention selection in BDI agents via decision-theoretic task scheduling.

[BibT_eX]

[DOI]

Rafael de Oliveira Jannone

Daniel M. Basso

Rosa Maria Vicari

Victor R. Lesser

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001

Running AgentSpeak(L) Agents on SIM_AGENT.

[BibT_eX]

[DOI]

Rodrigo Machado

Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

A framework for the simulation of agents with emotions.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Autonomous Agents, 2001

2000

Evolving Populations of Agents with Personalities in the Minority Game.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2000

Wayward Agents in a Commuting Scenario (Personalities in the Minority Game).

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

1998

Extending Ascribed Intensional Ontologies with Taxonomical Relations in Anthropological Descriptions of Multi-Agent Systems.

[BibT_eX]

[DOI]

J. Artif. Soc. Soc. Simul., 1998

Moral Sentiments in Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents V, 1998

1997

Ascription of Intensional Ontologies in Anthropological Descriptions of Mult-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Agents, First International Workshop, 1997

1995

Linguistic Support for Agent Migration.

[BibT_eX]