Antônio Carlos da Rocha Costa

85 papers A 2B 1C 4Journal 18Unranked 54

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