Antônio Carlos da Rocha Costa

Studies in Computational Intelligence 1041, Springer, ISBN: 978-3-031-20568-2, 2023

2021

TPO: A Type System for the Architecture of Agent Societies.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

2020

A Multi-level Approach to the Formal Semantics of Agent Societies.

[BibT_eX]

[DOI]

Alison R. Panisson

Proceedings of the Intelligent Systems - 9th Brazilian Conference, 2020

2019

Interactional Moral Systems: A Model of Social Mechanisms for the Moral Regulation of Exchange Processes in Agent Societies.

[BibT_eX]

[DOI]

Helder Coelho

IEEE Trans. Comput. Soc. Syst., 2019

An agent-oriented account of Piaget's theory of interactional morality.

[BibT_eX]

[DOI]

AI Soc., 2019

A Variational Basis for the Regulation and Structuration Mechanisms of Agent Societies

[BibT_eX]

[DOI]

Maria Isabel Giusti Moreira

Springer, ISBN: 978-3-030-16334-1, 2019

2018

A Legislation-Oriented VLE-MAS System Applied to MOODLE.

[BibT_eX]

[DOI]

Marilton Sanchotene de Aguiar

Verlani Timm Hinz

Res. Comput. Sci., 2018

Exchange process-based social mechanisms and social functions: an operational approach to the macro functional aspects of agent societies.

[BibT_eX]

[DOI]

Comput. Math. Organ. Theory, 2018

Marx's concept of distributive justice: an exercise in the formal modeling of political principles.

[BibT_eX]

[DOI]

Maria Isabel Giusti Moreira

AI Soc., 2018

2017

A legislation-oriented VLE-MAS system applied to MOODLE.

[BibT_eX]

[DOI]

Marilton Sanchotene de Aguiar

Proceedings of the 16th International Conference on Information Technology Based Higher Education and Training, 2017

Two Concepts of Module, for Agent Societies and Inter-societal Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - 5th International Workshop, 2017

2016

Multi-Level Semantics with Vertical Integrity Constraints.

[BibT_eX]

[DOI]

Alison R. Panisson

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

Regulating social exchanges in open MAS: The problem of reciprocal conversions between POMDPs and HMMs.

[BibT_eX]

[DOI]

Inf. Sci., 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

Elements for a Formal Model of Intentional Systems.

[BibT_eX]

[DOI]

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

Situated legal systems and their operational semantics.

[BibT_eX]

[DOI]

Artif. Intell. Law, 2015

2013

Situated normative infrastructures: the normative object approach.

[BibT_eX]

[DOI]

Fabio Yoshimitsu Okuyama

J. Log. Comput., 2013

Toward a Formal Reconstruction of Kelsen's Theory of Legal Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

On The Basic Binding Structure Of A Basic Interaction Scheme.

[BibT_eX]

[DOI]

Proceedings of the 27th European Conference on Modelling and Simulation, 2013

2011

Recognizing and learning models of social exchange strategies for the regulation of social interactions in open agent societies.

[BibT_eX]

[DOI]

Luciano V. Gonçalves

Diego R. Pereira

J. Braz. Comput. Soc., 2011

A Fuzzy-BDI Agent Model for Exchanges of Non-economic Services, Based on the Social Exchange Theory.

[BibT_eX]

[DOI]

Giovani Parente Farias

Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

Epistemic Relativism in Agent Societies: A Preliminary Semantic Model.

[BibT_eX]

[DOI]

Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

Theoretical Computing Machines: A Systemic Approach.

[BibT_eX]

[DOI]

Simone André da Costa Cavalheiro

Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

Towards Developmental Turing Machines.

[BibT_eX]

[DOI]

Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

Modeling Uncertainty and Decision Making in Strategic Interactions in Multiagent Systems: An Overview.

[BibT_eX]

[DOI]

Stephanie Loi Briao

Raquel de Miranda Barbosa

Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

Using RSL for the Formal Specification of PopOrg-based Multiagent Systems Organizations.

[BibT_eX]

[DOI]

Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

2010

Aplicação de Agentes BDI com Percepção Fuzzy em um Modelo Presa-Predador Fuzzy.

[BibT_eX]

[DOI]

Giovani Parente Farias

Raquel de Miranda Barbosa

RITA, 2010

Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs.

[BibT_eX]

[DOI]

Patrícia Cabral de Azevedo Restelli Tedesco

Alexandre Cabral Mota

RITA, 2010

A Dialogic Dimension for the MOISE+ Organizational Model.

[BibT_eX]

[DOI]

Alexandre Hübner

Viviane Mattos

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

BDI Agents with Fuzzy Perception for Simulating Decision Making in Environments with Imperfect Information.

[BibT_eX]

[DOI]

Giovani Parente Farias

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

Moral Minds as Multiple-Layer Organizations.

[BibT_eX]

[DOI]

Helder Coelho

Paulo Trigo

Proceedings of the Advances in Artificial Intelligence, 2010

2009

Introducing social groups and group exchanges in the PopOrg model.

[BibT_eX]

[DOI]

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

A Minimal Dynamical MAS Organization Model.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Research on Multi-Agent Systems, 2009

2008

Towards the Self-regulation of Personality-Based Social Exchange Processes in Multiagent Systems.

[BibT_eX]

[DOI]

Diego R. Pereira

Luciano V. Gonçalves

Proceedings of the Advances in Artificial Intelligence, 2008

A Distributed Normative Infrastructure for Situated Multi-agent Organisations.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VI, 2008

2007

An Architecture Based on Multi-Agent Systems and Geographic Databases for the Development of Georeferenced Ecological and Social Simulations.

[BibT_eX]

[DOI]

Pablo Souza Grigoletti

Proceedings of the IX Brazilian Symposium on Geoinformatics, 2007

A Basis for an Exchange Value-Based Operational Notion of Morality for Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2007

Spatially Distributed Normative Objects.

[BibT_eX]

[DOI]

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

Semantical Concepts for a Formal Structural Dynamics of Situated Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the Coordination, 2007

2006

Quantum Arrows in Haskell.

[BibT_eX]

[DOI]

Juliana Kaizer Vizzotto

Amr Sabry

Proceedings of the 4th International Workshop on Quantum Programming Languages, 2006

Regulating Social Exchanges Between Personality-Based Non-transparent Agents.

[BibT_eX]

[DOI]

Luciano V. Gonçalves

Alexandre Hübner

Proceedings of the MICAI 2006: Advances in Artificial Intelligence, 2006

Quantifying Degrees of Dependence in Social Dependence Relations.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent-Based Simulation VII, International Workshop, 2006

HPC-ICTM: a Parallel Model for Geographic Categorization.

[BibT_eX]

[DOI]

Rafael K. S. Silva

César A. F. De Rose

Marilton S. de Aguiar

Proceedings of the 2006 IEEE John Vincent Atanasoff International Symposium on Modern Computing (JVA2006), 2006

Simulation of Social Processes Based on BDI Agents With Support to Exchange Values.

[BibT_eX]

Aurélio Magalhães Dias

Proceedings of the JIISIC'06, 2006

Fuzzy Rule-Based Hand Gesture Recognition.

[BibT_eX]

[DOI]

Benjamín R. C. Bedregal

Proceedings of the Artificial Intelligence in Theory and Practice, 2006

Spatially Distributed Normative Infrastructure.

[BibT_eX]

[DOI]

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

Centralized Regulation of Social Exchanges Between Personality-Based Agents.

[BibT_eX]

[DOI]

Luciano Vargas Gonçalves

Alexandre Hübner

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems II, 2006

2005

Systems of Exchange Values as Tools for Multi-Agent Organizations.

[BibT_eX]

[DOI]

Luiz Antônio Moro Palazzo

J. Braz. Comput. Soc., 2005

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

[BibT_eX]

[DOI]

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

Interactive Computation: Stepping Stone in the Pathway From Classical to Developmental Computation.

[BibT_eX]

[DOI]

Proceedings of the Workshop on the Foundations of Interactive Computation, 2005

Improvisational Multi-Agent Organization: Using Director Agent to Coordinate Improvisational Agents.

[BibT_eX]

[DOI]

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

Exchange Values and Self-regulation of Exchanges in Multi-agent Systems: The Provisory, Centralized Model.

[BibT_eX]

[DOI]

Proceedings of the Engineering Self-Organising Systems, Third International Workshop, 2005

2004

The Interval Geometric Machine Model.

[BibT_eX]

[DOI]

Marilton Sanchotene de Aguiar

Numer. Algorithms, 2004

ICTM: An Interval Tessellation-Based Model for Reliable Topographic Segmentation.

[BibT_eX]

[DOI]

Numer. Algorithms, 2004

The Distributed Interval Geometric Machine Model.

[BibT_eX]

[DOI]

Proceedings of the Applied Parallel Computing, 2004

Interval-Based Markov Decision Processes for Regulating Interactions Between Two Agents in Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Applied Parallel Computing, 2004

HPC-ICTM: The Interval Categorizer Tessellation-Based Model for High Performance Computing.

[BibT_eX]

[DOI]

Marilton S. de Aguiar

Fábia A. da Costa

Rafael K. S. Silva

César A. F. De Rose

Ricardo Azambuja Silveira

Vladik Kreinovich

Proceedings of the Applied Parallel Computing, 2004

Workshop on Distance Learning Environments for Digital Graphic Representation.

[BibT_eX]

[DOI]

Adriane Borda Almeida da Silva

Demetrio Arturo Ovalle Carranza

Luiz Antônio Moro Palazzo

Heloisa Vieira da Rocha

Proceedings of the Intelligent Tutoring Systems, 7th International Conference, 2004

Real-Life Learning in Virtual Communities of Technology.

[BibT_eX]

[DOI]

Fernando Schirmbeck

Proceedings of the Information and Communication Technologies and Real-Life Learning, 2004

The Multi-layered Interval Categorizer Tesselation-based Model.

[BibT_eX]

[DOI]

Marilton S. de Aguiar

Rafael K. S. Silva

Fábia A. da Costa

Vladik Kreinovich

Proceedings of the VI Brazilian Symposium on Geoinformatics, 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

2003

A Programming Language for the Interval Geometric Machine.

[BibT_eX]

[DOI]

Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003

Specifying the geometric machine visual language.

[BibT_eX]

[DOI]

Marcos B. Cardoso

Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003

A Proposal for Structuring the Coordination Space of Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference of the Chilean Computer Science Society (SCCC 2003), 2003

Using Qualitative Exchange Values to Improve the Modelling of Social Interactions.

[BibT_eX]

[DOI]

Maíra Ribeiro Rodrigues

Proceedings of the Multi-Agent-Based Simulation III, 4th International Workshop, 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

2002

How Planning Becomes Improvisation? - A Constraint Based Approach for Director Agents in Improvisational Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2002

2001

Supporting Deaf Sign Languages in Written Form on the Web.

[BibT_eX]

[DOI]

Proceedings of the Poster Proceedings of the Tenth International World Wide Web Conference, 2001

Evaluating Usability of SAGRES Virtual Museum.

[BibT_eX]

Ana Carolina Bertoletti

Proceedings of the Networking the Learner: Computers in Education, 2001

SignWriting -Based Sign Language Processing.

[BibT_eX]

[DOI]

Proceedings of the Gesture and Sign Languages in Human-Computer Interaction, 2001

Distributed Execution of Functional Programs Using the JVM.

[BibT_eX]

[DOI]

André Rauber Du Bois

Proceedings of the Computer Aided Systems Theory, 2001

2000

A Coherence Space of Rational Intervals for a Construction of IR.

[BibT_eX]

[DOI]

Dalcidio Moraes Claudio

Reliab. Comput., 2000

Functional Beans.

[BibT_eX]

André Rauber Du Bois

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

1999

The SAGRES Virtual Museum with Software Agents to Stimulate the Visiting of Museums.

[BibT_eX]

Ana Carolina Bertoletti

Proceedings of WebNet 99, 1999

1998

Services to Aid Information Consumption.

[BibT_eX]

Clairmont Borges

José Valdeni de Lima

Proceedings of the EUROMEDIA 1998 featuring WEBTEC-MEDIATEC-COMTEC-APTEC, 1998

1996

Non-supervised sensory-motors agents learning.

[BibT_eX]

Raul Sidnei Wazlawick

RITA, 1996

1995

Linguistic Support for Agent Migration.

[BibT_eX]

Jomi Fred Hübner

Rosa Maria Viccari

Proceedings of the First International Conference on Multiagent Systems, 1995

Non-Supervised Sensory-Motor Agents Learning.

[BibT_eX]

[DOI]

Raul Sidnei Wazlawick

Proceedings of the Artificial Neural Nets and Genetic Algorithms, 1995

1994

Inspecting continuations.

[BibT_eX]

[DOI]

Vanderlei Moraes Rodrigues

SIGACT News, 1994

1993

Inteligência de máquina: esboço de uma abordagem construtivista.

[BibT_eX]

[DOI]

PhD thesis, 1993

The Acceptance Relation and the Specification of Communicating Agents.

[BibT_eX]

Renata Vieira