Antônio Carlos da Rocha Costa

According to our database1, Antônio Carlos da Rocha Costa authored at least 77 papers between 1993 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
A Multi-level Approach to the Formal Semantics of Agent Societies.
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.
IEEE Trans. Comput. Soc. Syst., 2019

An agent-oriented account of Piaget's theory of interactional morality.
AI Soc., 2019

A Variational Basis for the Regulation and Structuration Mechanisms of Agent Societies
Springer, ISBN: 978-3-030-16334-1, 2019

2018
Exchange process-based social mechanisms and social functions: an operational approach to the macro functional aspects of agent societies.
Comput. Math. Organ. Theory, 2018

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

2017
A legislation-oriented VLE-MAS system applied to MOODLE.
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.
Proceedings of the Engineering Multi-Agent Systems - 5th International Workshop, 2017

2016
Towards Multi-Level Semantics for Multi-Agent Systems.
Electron. Notes Theor. Comput. Sci., 2016

Elements for a Formal Model of Intentional Systems.
Electron. Notes Theor. Comput. Sci., 2016

Multi-Level Semantics with Vertical Integrity Constraints.
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.
Inf. Sci., 2015

Situated legal systems and their operational semantics.
Artif. Intell. Law, 2015

2013
Situated normative infrastructures: the normative object approach.
J. Log. Comput., 2013

Toward a Formal Reconstruction of Kelsen's Theory of Legal Systems.
Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

On The Basic Binding Structure Of A Basic Interaction Scheme.
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.
J. Braz. Comput. Soc., 2011

A Fuzzy-BDI Agent Model for Exchanges of Non-economic Services, Based on the Social Exchange Theory.
Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

Epistemic Relativism in Agent Societies: A Preliminary Semantic Model.
Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

Theoretical Computing Machines: A Systemic Approach.
Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

Towards Developmental Turing Machines.
Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

Modeling Uncertainty and Decision Making in Strategic Interactions in Multiagent Systems: An Overview.
Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

Using RSL for the Formal Specification of PopOrg-based Multiagent Systems Organizations.
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.
RITA, 2010

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

A Dialogic Dimension for the MOISE+ Organizational Model.
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.
Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

Moral Minds as Multiple-Layer Organizations.
Proceedings of the Advances in Artificial Intelligence, 2010

2009
Introducing social groups and group exchanges in the PopOrg model.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

A Minimal Dynamical MAS Organization Model.
Proceedings of the Handbook of Research on Multi-Agent Systems, 2009

2008
Quantum Arrows in Haskell.
Electron. Notes Theor. Comput. Sci., 2008

Towards the Self-regulation of Personality-Based Social Exchange Processes in Multiagent Systems.
Proceedings of the Advances in Artificial Intelligence, 2008

A Distributed Normative Infrastructure for Situated Multi-agent Organisations.
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.
Proceedings of the IX Brazilian Symposium on Geoinformatics, 2007

A Basis for an Exchange Value-Based Operational Notion of Morality for Multiagent Systems.
Proceedings of the Progress in Artificial Intelligence, 2007

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

Semantical Concepts for a Formal Structural Dynamics of Situated Multiagent Systems.
Proceedings of the Coordination, 2007

2006
Regulating Social Exchanges Between Personality-Based Non-transparent Agents.
Proceedings of the MICAI 2006: Advances in Artificial Intelligence, 2006

Quantifying Degrees of Dependence in Social Dependence Relations.
Proceedings of the Multi-Agent-Based Simulation VII, International Workshop, 2006

HPC-ICTM: a Parallel Model for Geographic Categorization.
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.
Proceedings of the JIISIC'06, 2006

Fuzzy Rule-Based Hand Gesture Recognition.
Proceedings of the Artificial Intelligence in Theory and Practice, 2006

Spatially Distributed Normative Infrastructure.
Proceedings of the Environments for Multi-Agent Systems III, Third International Workshop, 2006

Centralized Regulation of Social Exchanges Between Personality-Based Agents.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems II, 2006

2005
Systems of Exchange Values as Tools for Multi-Agent Organizations.
J. Braz. Comput. Soc., 2005

MAS-SOC: a Social Simulation Platform Based on Agent-Oriented Programming.
J. Artif. Soc. Soc. Simul., 2005

Interactive Computation: Stepping Stone in the Pathway From Classical to Developmental Computation.
Electron. Notes Theor. Comput. Sci., 2005

Improvisational Multi-Agent Organization: Using Director Agent to Coordinate Improvisational Agents.
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.
Proceedings of the Engineering Self-Organising Systems, Third International Workshop, 2005

2004
The Interval Geometric Machine Model.
Numer. Algorithms, 2004

ICTM: An Interval Tessellation-Based Model for Reliable Topographic Segmentation.
Numer. Algorithms, 2004

The Distributed Interval Geometric Machine Model.
Proceedings of the Applied Parallel Computing, 2004

Interval-Based Markov Decision Processes for Regulating Interactions Between Two Agents in Multi-agent Systems.
Proceedings of the Applied Parallel Computing, 2004

HPC-ICTM: The Interval Categorizer Tessellation-Based Model for High Performance Computing.
Proceedings of the Applied Parallel Computing, 2004

Workshop on Distance Learning Environments for Digital Graphic Representation.
Proceedings of the Intelligent Tutoring Systems, 7th International Conference, 2004

Real-Life Learning in Virtual Communities of Technology.
Proceedings of the Information and Communication Technologies and Real-Life Learning, 2004

The Multi-layered Interval Categorizer Tesselation-based Model.
Proceedings of the VI Brazilian Symposium on Geoinformatics, 2004

ELMS: An Environment Description Language for Multi-agent Simulation.
Proceedings of the Environments for Multi-Agent Systems, First International Workshop, 2004

2003
A Programming Language for the Interval Geometric Machine.
Electron. Notes Theor. Comput. Sci., 2003

Specifying the geometric machine visual language.
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.
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.
Proceedings of the Multi-Agent-Based Simulation III, 4th International Workshop, 2003

A system of exchange values to support social interactions in artificial societies.
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.
Proceedings of the Advances in Artificial Intelligence, 2002

2001
Supporting Deaf Sign Languages in Written Form on the Web.
Proceedings of the Poster Proceedings of the Tenth International World Wide Web Conference, 2001

Evaluating Usability of SAGRES Virtual Museum.
Proceedings of the Networking the Learner: Computers in Education, 2001

SignWriting -Based Sign Language Processing.
Proceedings of the Gesture and Sign Languages in Human-Computer Interaction, 2001

Distributed Execution of Functional Programs Using the JVM.
Proceedings of the Computer Aided Systems Theory, 2001

2000
A Coherence Space of Rational Intervals for a Construction of IR.
Reliab. Comput., 2000

Functional Beans.
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.
Proceedings of WebNet 99, 1999

1996
Non-supervised sensory-motors agents learning.
RITA, 1996

1995
Linguistic Support for Agent Migration.
Proceedings of the First International Conference on Multiagent Systems, 1995

Non-Supervised Sensory-Motor Agents Learning.
Proceedings of the Artificial Neural Nets and Genetic Algorithms, 1995

1994
Inspecting continuations.
SIGACT News, 1994

1993
Inteligência de máquina: esboço de uma abordagem construtivista.
PhD thesis, 1993

The Acceptance Relation and the Specification of Communicating Agents.
Proceedings of the International Conference on Intelligent and Cooperative Information Systems, 1993


  Loading...