The Acceptance Relation and the Specification of Communicating Agents. - Renata Vieira; Antônio Carlos da Rocha Costa (ICICIS, 1993)

Inteligência de máquina: esboço de uma abordagem construtivista. - Antônio Carlos da Rocha Costa (1993)

Inspecting continuations. - Antônio Carlos da Rocha Costa; Vanderlei Moraes Rodrigues (SIGACT News, 1994)

Non-Supervised Sensory-Motor Agents Learning. - Raul Sidnei Wazlawick; Antônio Carlos da Rocha Costa (ICANNGA, 1995)

Linguistic Support for Agent Migration. - Rafael H. Bordini; Antônio Carlos da Rocha Costa; Jomi Fred Hübner; Rosa Maria Viccari (ICMAS, 1995)

Non-supervised sensory-motors agents learning. - Antônio Carlos da Rocha Costa; Raul Sidnei Wazlawick (RITA, 1996)

Services to Aid Information Consumption. - Clairmont Borges; José Valdeni de Lima; Antônio Carlos da Rocha Costa (EUROMEDIA, 1998)

The SAGRES Virtual Museum with Software Agents to Stimulate the Visiting of Museums. - Márcia Cristina Moraes; Ana Carolina Bertoletti; Antônio Carlos da Rocha Costa (WebNet, 1999)

Functional Beans. - André Rauber Du Bois; Antônio Carlos da Rocha Costa (WFLP, 2000)

A Coherence Space of Rational Intervals for a Construction of IR. - Graçaliz Pereira Dimuro; Antônio Carlos da Rocha Costa; Dalcidio Moraes Claudio (Reliab. Comput., 2000)

Distributed Execution of Functional Programs Using the JVM. - André Rauber Du Bois; Antônio Carlos da Rocha Costa (EUROCAST, 2001)

SignWriting -Based Sign Language Processing. - Antônio Carlos da Rocha Costa; Graçaliz Pereira Dimuro (Gesture Workshop, 2001)

Evaluating Usability of SAGRES Virtual Museum. - Márcia Cristina Moraes; Ana Carolina Bertoletti; Antônio Carlos da Rocha Costa (WCCE, 2001)

Supporting Deaf Sign Languages in Written Form on the Web. - Antônio Carlos da Rocha Costa; Graçaliz Pereira Dimuro (WWW Posters, 2001)

How Planning Becomes Improvisation? - A Constraint Based Approach for Director Agents in Improvisational Systems. - Márcia Cristina Moraes; Antônio Carlos da Rocha Costa (SBIA, 2002)

A system of exchange values to support social interactions in artificial societies. - Maíra Ribeiro Rodrigues; Antônio Carlos da Rocha Costa; Rafael H. Bordini (AAMAS, 2003)

Using Qualitative Exchange Values to Improve the Modelling of Social Interactions. - Maíra Ribeiro Rodrigues; Antônio Carlos da Rocha Costa (MABS, 2003)

A Proposal for Structuring the Coordination Space of Multiagent Systems. - Márcia Cristina Moraes; Antônio Carlos da Rocha Costa (SCCC, 2003)

Specifying the geometric machine visual language. - Renata Hax Sander Reiser; Antônio Carlos da Rocha Costa; Graçaliz Pereira Dimuro; Marcos B. Cardoso (HCC, 2003)

A Programming Language for the Interval Geometric Machine. - Renata Hax Sander Reiser; Antônio Carlos da Rocha Costa; Graçaliz Pereira Dimuro (WoLLIC, 2003)

ELMS: An Environment Description Language for Multi-agent Simulation. - Fabio Y. Okuyama; Rafael H. Bordini; Antônio Carlos da Rocha Costa (E4MAS, 2004)

The Multi-layered Interval Categorizer Tesselation-based Model. - Marilton S. de Aguiar; Graçaliz Pereira Dimuro; Antônio Carlos da Rocha Costa; Rafael K. S. Silva; Fábia A. da Costa; Vladik Kreinovich (GEOINFO, 2004)

Real-Life Learning in Virtual Communities of Technology. - Luiz Antônio Moro Palazzo; Antônio Carlos da Rocha Costa; Graçaliz Pereira Dimuro; Fernando Schirmbeck (Information and Communication Technologies and Real-Life Learning, 2004)

Workshop on Distance Learning Environments for Digital Graphic Representation. - Ricardo Azambuja Silveira; Adriane Borda Almeida da Silva; Demetrio Arturo Ovalle Carranza; Antônio Carlos da Rocha Costa; Heloisa Vieira da Rocha; Marcelo Payssé; Mary Lou Maher; Monica Fernandez; Neusa Felix; Rosa Maria Vicari (Intelligent Tutoring Systems, 2004)

HPC-ICTM: The Interval Categorizer Tessellation-Based Model for High Performance Computing. - Marilton S. de Aguiar; Graçaliz Pereira Dimuro; Fábia A. da Costa; Rafael K. S. Silva; César A. F. De Rose; Antônio Carlos da Rocha Costa; Vladik Kreinovich (PARA, 2004)

Interval-Based Markov Decision Processes for Regulating Interactions Between Two Agents in Multi-agent Systems. - Graçaliz Pereira Dimuro; Antônio Carlos da Rocha Costa (PARA, 2004)

The Distributed Interval Geometric Machine Model. - Renata Hax Sander Reiser; Antônio Carlos da Rocha Costa; Graçaliz Pereira Dimuro (PARA, 2004)

ICTM: An Interval Tessellation-Based Model for Reliable Topographic Segmentation. - Marilton Sanchotene de Aguiar; Graçaliz Pereira Dimuro; Antônio Carlos da Rocha Costa (Numer. Algorithms, 2004)

The Interval Geometric Machine Model. - Renata Hax Sander Reiser; Graçaliz Pereira Dimuro; Antônio Carlos da Rocha Costa (Numer. Algorithms, 2004)

Exchange Values and Self-regulation of Exchanges in Multi-agent Systems: The Provisory, Centralized Model. - Graçaliz Pereira Dimuro; Antônio Carlos da Rocha Costa (Engineering Self-Organising Systems, 2005)

Improvisational Multi-Agent Organization: Using Director Agent to Coordinate Improvisational Agents. - Márcia Cristina Moraes; Antônio Carlos da Rocha Costa (IAT, 2005)

Interactive Computation: Stepping Stone in the Pathway From Classical to Developmental Computation. - Antônio Carlos da Rocha Costa; Graçaliz Pereira Dimuro (FInCo@ETAPS, 2005)

MAS-SOC: a Social Simulation Platform Based on Agent-Oriented Programming. - Rafael H. Bordini; Antônio Carlos da Rocha Costa; Jomi Fred Hübner; Álvaro F. Moreira; Fabio Y. Okuyama; Renata Vieira (J. Artif. Soc. Soc. Simul., 2005)

Systems of Exchange Values as Tools for Multi-Agent Organizations. - Graçaliz Pereira Dimuro; Antônio Carlos da Rocha Costa; Luiz Antônio Moro Palazzo (J. Braz. Comput. Soc., 2005)

Centralized Regulation of Social Exchanges Between Personality-Based Agents. - Graçaliz Pereira Dimuro; Antônio Carlos da Rocha Costa; Luciano Vargas Gonçalves; Alexandre Hübner (COIN@AAMAS/ECAI, 2006)

Spatially Distributed Normative Infrastructure. - Fabio Y. Okuyama; Rafael H. Bordini; Antônio Carlos da Rocha Costa (E4MAS, 2006)

Fuzzy Rule-Based Hand Gesture Recognition. - Benjamín R. C. Bedregal; Antônio Carlos da Rocha Costa; Graçaliz Pereira Dimuro (IFIP AI, 2006)

Simulation of Social Processes Based on BDI Agents With Support to Exchange Values. - Aurélio Magalhães Dias; Antônio Carlos da Rocha Costa (JIISIC, 2006)

HPC-ICTM: a Parallel Model for Geographic Categorization. - Rafael K. S. Silva; César A. F. De Rose; Marilton S. de Aguiar; Graçaliz Pereira Dimuro; Antônio Carlos da Rocha Costa (John Vincent Atanasoff Symposium, 2006)

Quantifying Degrees of Dependence in Social Dependence Relations. - Antônio Carlos da Rocha Costa; Graçaliz Pereira Dimuro (MABS, 2006)

Regulating Social Exchanges Between Personality-Based Non-transparent Agents. - Graçaliz Pereira Dimuro; Antônio Carlos da Rocha Costa; Luciano V. Gonçalves; Alexandre Hübner (MICAI, 2006)

Quantum Arrows in Haskell. - Juliana Kaizer Vizzotto; Antônio Carlos da Rocha Costa; Amr Sabry (QPL, 2006)

Semantical Concepts for a Formal Structural Dynamics of Situated Multiagent Systems. - Antônio Carlos da Rocha Costa; Graçaliz Pereira Dimuro (COIN, 2007)

Spatially Distributed Normative Objects. - Fabio Y. Okuyama; Rafael H. Bordini; Antônio Carlos da Rocha Costa (Normative Multi-agent Systems, 2007)

A Basis for an Exchange Value-Based Operational Notion of Morality for Multiagent Systems. - Antônio Carlos da Rocha Costa; Graçaliz Pereira Dimuro (EPIA Workshops, 2007)

An Architecture Based on Multi-Agent Systems and Geographic Databases for the Development of Georeferenced Ecological and Social Simulations. - Pablo Souza Grigoletti; Antônio Carlos da Rocha Costa (GEOINFO, 2007)

A Distributed Normative Infrastructure for Situated Multi-agent Organisations. - Fabio Y. Okuyama; Rafael H. Bordini; Antônio Carlos da Rocha Costa (DALT, 2008)

Towards the Self-regulation of Personality-Based Social Exchange Processes in Multiagent Systems. - Diego R. Pereira; Luciano V. Gonçalves; Graçaliz Pereira Dimuro; Antônio Carlos da Rocha Costa (SBIA, 2008)

A Minimal Dynamical MAS Organization Model. - Antônio Carlos da Rocha Costa; Graçaliz Pereira Dimuro (Handbook of Research on Multi-Agent Systems, 2009)

Introducing social groups and group exchanges in the PopOrg model. - Antônio Carlos da Rocha Costa; Graçaliz Pereira Dimuro (AAMAS (2), 2009)

Moral Minds as Multiple-Layer Organizations. - Helder Coelho; Antônio Carlos da Rocha Costa; Paulo Trigo (IBERAMIA, 2010)

BDI Agents with Fuzzy Perception for Simulating Decision Making in Environments with Imperfect Information. - Giovani Parente Farias; Graçaliz Pereira Dimuro; Antônio Carlos da Rocha Costa (MALLOW, 2010)

A Dialogic Dimension for the MOISE+ Organizational Model. - Alexandre Hübner; Graçaliz Pereira Dimuro; Antônio Carlos da Rocha Costa; Viviane L. D. de Mattos (MALLOW, 2010)

Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs. - Raquel de Miranda Barbosa; Antônio Carlos da Rocha Costa; Patrícia Cabral de Azevedo Restelli Tedesco; Alexandre Cabral Mota (RITA, 2010)

Aplicação de Agentes BDI com Percepção Fuzzy em um Modelo Presa-Predador Fuzzy. - Giovani Parente Farias; Graçaliz Pereira Dimuro; Antônio Carlos da Rocha Costa (RITA, 2010)

Using RSL for the Formal Specification of PopOrg-based Multiagent Systems Organizations. - Raquel de Miranda Barbosa; Antônio Carlos da Rocha Costa (WEIT, 2011)

Modeling Uncertainty and Decision Making in Strategic Interactions in Multiagent Systems: An Overview. - Stephanie Loi Brião; Graçaliz Pereira Dimuro; Antônio Carlos da Rocha Costa (WEIT, 2011)

Towards Developmental Turing Machines. - Simone André da Costa Cavalheiro; Antônio Carlos da Rocha Costa; Graçaliz Pereira Dimuro (WEIT, 2011)

Theoretical Computing Machines: A Systemic Approach. - Antônio Carlos da Rocha Costa (WEIT, 2011)

Epistemic Relativism in Agent Societies: A Preliminary Semantic Model. - Antônio Carlos da Rocha Costa (WEIT, 2011)

A Fuzzy-BDI Agent Model for Exchanges of Non-economic Services, Based on the Social Exchange Theory. - Giovani Parente Farias; Graçaliz Pereira Dimuro; Antônio Carlos da Rocha Costa (WEIT, 2011)

Recognizing and learning models of social exchange strategies for the regulation of social interactions in open agent societies. - Graçaliz Pereira Dimuro; Antônio Carlos da Rocha Costa; Luciano V. Gonçalves; Diego R. Pereira (J. Braz. Comput. Soc., 2011)

On The Basic Binding Structure Of A Basic Interaction Scheme. - Antônio Carlos da Rocha Costa (ECMS, 2013)

Toward a Formal Reconstruction of Kelsen's Theory of Legal Systems. - Antônio Carlos da Rocha Costa (WEIT, 2013)

Situated normative infrastructures: the normative object approach. - Fabio Yoshimitsu Okuyama; Rafael H. Bordini; Antônio Carlos da Rocha Costa (J. Log. Comput., 2013)

Situated legal systems and their operational semantics. - Antônio Carlos da Rocha Costa (Artif. Intell. Law, 2015)

Elements for a Formal Model of Intentional Systems. - Antônio Carlos da Rocha Costa (WEIT, 2015)

Towards Multi-Level Semantics for Multi-Agent Systems. - Alison R. Panisson; Rafael H. Bordini; Antônio Carlos da Rocha Costa (WEIT, 2015)

Regulating social exchanges in open MAS: The problem of reciprocal conversions between POMDPs and HMMs. - Graçaliz Pereira Dimuro; Antônio Carlos da Rocha Costa (Inf. Sci., 2015)

Multi-Level Semantics with Vertical Integrity Constraints. - Alison R. Panisson; Rafael H. Bordini; Antônio Carlos da Rocha Costa (ECAI, 2016)

Two Concepts of Module, for Agent Societies and Inter-societal Agent Systems. - Antônio Carlos da Rocha Costa (EMAS@AAMAS, 2017)

A legislation-oriented VLE-MAS system applied to MOODLE. - Maria Isabel Giusti Moreira; Antônio Carlos da Rocha Costa; Marilton Sanchotene de Aguiar (ITHET, 2017)

Marx's concept of distributive justice: an exercise in the formal modeling of political principles. - Antônio Carlos da Rocha Costa (AI Soc., 2018)

Exchange process-based social mechanisms and social functions: an operational approach to the macro functional aspects of agent societies. - Antônio Carlos da Rocha Costa (Comput. Math. Organ. Theory, 2018)

A Legislation-Oriented VLE-MAS System Applied to MOODLE. - Maria Isabel Giusti Moreira; Marilton Sanchotene de Aguiar; Antônio Carlos da Rocha Costa; Verlani Timm Hinz (Res. Comput. Sci., 2018)

A Variational Basis for the Regulation and Structuration Mechanisms of Agent Societies - Antônio Carlos da Rocha Costa (Springer, 2019)

An agent-oriented account of Piaget's theory of interactional morality. - Antônio Carlos da Rocha Costa (AI Soc., 2019)

Interactional Moral Systems: A Model of Social Mechanisms for the Moral Regulation of Exchange Processes in Agent Societies. - Antônio Carlos da Rocha Costa; Helder Coelho (IEEE Trans. Comput. Soc. Syst., 2019)

A Multi-level Approach to the Formal Semantics of Agent Societies. - Alison R. Panisson; Rafael H. Bordini; Antônio Carlos da Rocha Costa (BRACIS (2), 2020)

TPO: A Type System for the Architecture of Agent Societies. - Antônio Carlos da Rocha Costa (EMAS@AAMAS, 2021)

From Intervals to -? - Towards a General Description of Validated Uncertainty - Vladik Kreinovich; Graçaliz Pereira Dimuro; Antônio Carlos da Rocha Costa (Springer, 2023)