Antônio Carlos da Rocha Costa

ORCID

Publication Activity (10 Years)

Years Active: 1993-2021
Publications (10 Years): 14

Top Venues

EMAS@AAMAS

AI Soc.

Electron. Notes Theor. Comput. Sci.

ECMS

Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil (PHD)

Education History

Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil

PHD

Publications

Antônio Carlos da Rocha Costa
TPO: A Type System for the Architecture of Agent Societies. EMAS@AAMAS (2021)
Alison R. Panisson, Rafael H. Bordini, Antônio Carlos da Rocha Costa
A Multi-level Approach to the Formal Semantics of Agent Societies. BRACIS (2) (2020)
Antônio Carlos da Rocha Costa
An agent-oriented account of Piaget's theory of interactional morality. AI Soc. 34 (3) (2019)
Antônio Carlos da Rocha Costa, Helder Coelho
Interactional Moral Systems: A Model of Social Mechanisms for the Moral Regulation of Exchange Processes in Agent Societies. IEEE Trans. Comput. Soc. Syst. 6 (4) (2019)
Antônio Carlos da Rocha Costa
Exchange process-based social mechanisms and social functions: an operational approach to the macro functional aspects of agent societies. Comput. Math. Organ. Theory 24 (2) (2018)
Maria Isabel Giusti Moreira, Marilton Sanchotene de Aguiar, Antônio Carlos da Rocha Costa, Verlani Timm Hinz
A Legislation-Oriented VLE-MAS System Applied to MOODLE. Res. Comput. Sci. 147 (4) (2018)
Antônio Carlos da Rocha Costa
Marx's concept of distributive justice: an exercise in the formal modeling of political principles. AI Soc. 33 (4) (2018)
Maria Isabel Giusti Moreira, Antônio Carlos da Rocha Costa, Marilton Sanchotene de Aguiar
A legislation-oriented VLE-MAS system applied to MOODLE. ITHET (2017)
Antônio Carlos da Rocha Costa
Two Concepts of Module, for Agent Societies and Inter-societal Agent Systems. EMAS@AAMAS (2017)
Alison R. Panisson, Rafael H. Bordini, Antônio Carlos da Rocha Costa
Multi-Level Semantics with Vertical Integrity Constraints. ECAI (2016)
Alison R. Panisson, Rafael H. Bordini, Antônio Carlos da Rocha Costa
Towards Multi-Level Semantics for Multi-Agent Systems. Electron. Notes Theor. Comput. Sci. 324 (2016)
Antônio Carlos da Rocha Costa
Elements for a Formal Model of Intentional Systems. Electron. Notes Theor. Comput. Sci. 324 (2016)
Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa
Regulating social exchanges in open MAS: The problem of reciprocal conversions between POMDPs and HMMs. Inf. Sci. 323 (2015)
Antônio Carlos da Rocha Costa
Situated legal systems and their operational semantics. Artif. Intell. Law 23 (1) (2015)
Antônio Carlos da Rocha Costa
On The Basic Binding Structure Of A Basic Interaction Scheme. ECMS (2013)
Antônio Carlos da Rocha Costa
Toward a Formal Reconstruction of Kelsen's Theory of Legal Systems. WEIT (2013)
Fabio Yoshimitsu Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa
Situated normative infrastructures: the normative object approach. J. Log. Comput. 23 (2) (2013)
Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa, Luciano V. Gonçalves, Diego R. Pereira
Recognizing and learning models of social exchange strategies for the regulation of social interactions in open agent societies. J. Braz. Comput. Soc. 17 (3) (2011)
Simone André da Costa Cavalheiro, Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro
Towards Developmental Turing Machines. WEIT (2011)
Giovani Parente Farias, Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa
A Fuzzy-BDI Agent Model for Exchanges of Non-economic Services, Based on the Social Exchange Theory. WEIT (2011)
Antônio Carlos da Rocha Costa
Theoretical Computing Machines: A Systemic Approach. WEIT (2011)
Antônio Carlos da Rocha Costa
Epistemic Relativism in Agent Societies: A Preliminary Semantic Model. WEIT (2011)
Stephanie Loi Briao, Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa
Modeling Uncertainty and Decision Making in Strategic Interactions in Multiagent Systems: An Overview. WEIT (2011)
Raquel de Miranda Barbosa, Antônio Carlos da Rocha Costa
Using RSL for the Formal Specification of PopOrg-based Multiagent Systems Organizations. WEIT (2011)
Helder Coelho, Antônio Carlos da Rocha Costa, Paulo Trigo
Moral Minds as Multiple-Layer Organizations. IBERAMIA (2010)
Giovani Parente Farias, Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa
Aplicação de Agentes BDI com Percepção Fuzzy em um Modelo Presa-Predador Fuzzy. RITA 17 (3) (2010)
Raquel de Miranda Barbosa, Antônio Carlos da Rocha Costa, Patrícia Cabral de Azevedo Restelli Tedesco, Alexandre Cabral Mota
Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs. RITA 17 (3) (2010)
Giovani Parente Farias, Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa
BDI Agents with Fuzzy Perception for Simulating Decision Making in Environments with Imperfect Information. MALLOW (2010)
Alexandre Hübner, Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa, Viviane Mattos
A Dialogic Dimension for the MOISE+ Organizational Model. MALLOW (2010)
Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro
Introducing social groups and group exchanges in the PopOrg model. AAMAS (2) (2009)
Juliana Kaizer Vizzotto, Antônio Carlos da Rocha Costa, Amr Sabry
Quantum Arrows in Haskell. Electron. Notes Theor. Comput. Sci. 210 (2008)
Diego R. Pereira, Luciano V. Gonçalves, Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa
Towards the Self-regulation of Personality-Based Social Exchange Processes in Multiagent Systems. SBIA (2008)
Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa
A distributed normative infrastructure for situated multi-agent organisations. AAMAS (3) (2008)
Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa
A Distributed Normative Infrastructure for Situated Multi-agent Organisations. DALT (2008)
Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa
Spatially Distributed Normative Objects. Normative Multi-agent Systems (2007)
Pablo Souza Grigoletti, Antônio Carlos da Rocha Costa
An Architecture Based on Multi-Agent Systems and Geographic Databases for the Development of Georeferenced Ecological and Social Simulations. GeoInfo (2007)
Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro
A Basis for an Exchange Value-Based Operational Notion of Morality for Multiagent Systems. EPIA Workshops (2007)
Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro
Semantical Concepts for a Formal Structural Dynamics of Situated Multiagent Systems. COIN (2007)
Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa, Luciano V. Gonçalves, Alexandre Hübner
Regulating Social Exchanges Between Personality-Based Non-transparent Agents. MICAI (2006)
Rafael K. S. Silva, César A. F. De Rose, Marilton S. de Aguiar, Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa
HPC-ICTM: a Parallel Model for Geographic Categorization. John Vincent Atanasoff Symposium (2006)
Benjamín R. C. Bedregal, Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro
Fuzzy Rule-Based Hand Gesture Recognition. IFIP AI (2006)
Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro
Quantifying Degrees of Dependence in Social Dependence Relations. MABS (2006)
Aurélio Magalhães Dias, Antônio Carlos da Rocha Costa
Simulation of Social Processes Based on BDI Agents With Support to Exchange Values. JIISIC (2006)
Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa
Spatially Distributed Normative Objects. COIN@AAMAS/ECAI (2006)
Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa, Luciano Vargas Gonçalves, Alexandre Hübner
Centralized Regulation of Social Exchanges Between Personality-Based Agents. COIN@AAMAS/ECAI (2006)
Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa
Spatially Distributed Normative Infrastructure. E4MAS (2006)
Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa, Luiz A. M. Palazzo
Systems of Exchange Values as Tools for Multi-Agent Organizations. J. Braz. Comput. Soc. 11 (1) (2005)
Márcia Cristina Moraes, Antônio Carlos da Rocha Costa
Improvisational Multi-Agent Organization: Using Director Agent to Coordinate Improvisational Agents. IAT (2005)
Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa
Exchange Values and Self-regulation of Exchanges in Multi-agent Systems: The Provisory, Centralized Model. Engineering Self-Organising Systems (2005)
Rafael H. Bordini, Antônio Carlos da Rocha Costa, Jomi Fred Hübner, Álvaro F. Moreira, Fabio Y. Okuyama, Renata Vieira
MAS-SOC: a Social Simulation Platform Based on Agent-Oriented Programming. J. Artif. Soc. Soc. Simul. 8 (3) (2005)
Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro
Interactive Computation: Stepping Stone in the Pathway From Classical to Developmental Computation. Electron. Notes Theor. Comput. Sci. 141 (5) (2005)
Renata Hax Sander Reiser, Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro
The Distributed Interval Geometric Machine Model. PARA (2004)
Luiz A. M. Palazzo, Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro, Fernando Schirmbeck
Real-Life Learning in Virtual Communities of Technology. Information and Communication Technologies and Real-Life Learning (2004)
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
HPC-ICTM: The Interval Categorizer Tessellation-Based Model for High Performance Computing. PARA (2004)
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
The Multi-layered Interval Categorizer Tesselation-based Model. GeoInfo (2004)
Renata Hax Sander Reiser, Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa
The Interval Geometric Machine Model. Numer. Algorithms 37 (1-4) (2004)
Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa
Interval-Based Markov Decision Processes for Regulating Interactions Between Two Agents in Multi-agent Systems. PARA (2004)
Marilton Sanchotene de Aguiar, Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa
ICTM: An Interval Tessellation-Based Model for Reliable Topographic Segmentation. Numer. Algorithms 37 (1-4) (2004)
Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa
ELMS: An Environment Description Language for Multi-agent Simulation. E4MAS (2004)
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
Workshop on Distance Learning Environments for Digital Graphic Representation. Intelligent Tutoring Systems (2004)
Maíra Ribeiro Rodrigues, Antônio Carlos da Rocha Costa
Using Qualitative Exchange Values to Improve the Modelling of Social Interactions. MABS (2003)
Renata Hax Sander Reiser, Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro
A Programming Language for the Interval Geometric Machine. Electron. Notes Theor. Comput. Sci. 84 (2003)
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. AAMAS (2003)
Márcia Cristina Moraes, Antônio Carlos da Rocha Costa
A Proposal for Structuring the Coordination Space of Multiagent Systems. SCCC (2003)
Renata Hax Sander Reiser, Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro, Marcos B. Cardoso
Specifying the geometric machine visual language. HCC (2003)
Márcia Cristina Moraes, Antônio Carlos da Rocha Costa
How Planning Becomes Improvisation? - A Constraint Based Approach for Director Agents in Improvisational Systems. SBIA (2002)
Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro
Supporting Deaf Sign Languages in Written Form on the Web. WWW Posters (2001)
Márcia Cristina Moraes, Ana Carolina Bertoletti, Antônio Carlos da Rocha Costa
Evaluating Usability of SAGRES Virtual Museum. WCCE (2001)
André Rauber Du Bois, Antônio Carlos da Rocha Costa
Distributed Execution of Functional Programs Using the JVM. EUROCAST (2001)
Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro
SignWriting -Based Sign Language Processing. Gesture Workshop (2001)
André Rauber Du Bois, Antônio Carlos da Rocha Costa
Functional Beans. WFLP (2000)
Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa, Dalcidio Moraes Claudio
A Coherence Space of Rational Intervals for a Construction of IR. Reliab. Comput. 6 (2) (2000)
Márcia Cristina Moraes, Ana Carolina Bertoletti, Antônio Carlos da Rocha Costa
The SAGRES Virtual Museum with Software Agents to Stimulate the Visiting of Museums. WebNet (1999)
Clairmont Borges, José Valdeni de Lima, Antônio Carlos da Rocha Costa
Services to Aid Information Consumption. EUROMEDIA (1998)
Antônio Carlos da Rocha Costa, Raul Sidnei Wazlawick
Non-supervised sensory-motors agents learning. RITA 3 (1) (1996)
Raul Sidnei Wazlawick, Antônio Carlos da Rocha Costa
Non-Supervised Sensory-Motor Agents Learning. ICANNGA (1995)
Rafael H. Bordini, Antônio Carlos da Rocha Costa, Jomi Fred Hübner, Rosa Maria Viccari
Linguistic Support for Agent Migration. ICMAS (1995)
Antônio Carlos da Rocha Costa, Vanderlei Moraes Rodrigues
Inspecting continuations. SIGACT News 25 (2) (1994)
Renata Vieira, Antônio Carlos da Rocha Costa
The Acceptance Relation and the Specification of Communicating Agents. ICICIS (1993)

Antônio Carlos da Rocha Costa.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Antônio Carlos da Rocha Costa