Wamberto Weber Vasconcelos

Orcid: 0000-0001-5090-7581

Affiliations:
  • University of Aberdeen, Department of Computing Science


According to our database1, Wamberto Weber Vasconcelos authored at least 123 papers between 1993 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
An Extension-based Approach for Computing and Verifying Preferences in Abstract Argumentation.
CoRR, 2024

2020
Preference Elicitation in Assumption-Based Argumentation.
Proceedings of the PRIMA 2020: Principles and Practice of Multi-Agent Systems, 2020

Intrinsic Indicators for Numerical Data Quality.
Proceedings of the 5th International Conference on Internet of Things, 2020

Argument-Based Plan Explanation.
Proceedings of the Knowledge Engineering Tools and Techniques for AI Planning, 2020

2019
A knowledge-based approach to multiplayer games in peer-to-peer networks.
Knowl. Inf. Syst., 2019

Semantic Modelling of Plans and Execution Traces for Enhancing Transparency of IoT Systems.
Proceedings of the Sixth International Conference on Internet of Things: Systems, 2019

2018
Fine-Grained Access Control via Policy-Carrying Data.
ACM Trans. Internet Techn., 2018

Towards a context-dependent numerical data quality evaluation framework.
CoRR, 2018

Computing Preferences in Abstract Argumentation.
Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

Minimality and Simplicity of Rules for the Internet-of-Things.
Proceedings of the Agreement Technologies - 6th International Conference, 2018

Accountability for Practical Reasoning Agents.
Proceedings of the Agreement Technologies - 6th International Conference, 2018

Policies to Regulate Distributed Data Exchange.
Proceedings of the Agreement Technologies - 6th International Conference, 2018

2017
Practical reasoning with norms for autonomous software agents.
Eng. Appl. Artif. Intell., 2017

Practical Reasoning with Norms for Autonomous Software Agents (Full Edition).
CoRR, 2017

Detection and resolution of normative conflicts in multi-agent systems: a literature survey.
Auton. Agents Multi Agent Syst., 2017

2016
Group Norms for Multi-Agent Organisations.
ACM Trans. Auton. Adapt. Syst., 2016

Towards a Distributed Data-Sharing Economy.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems XII, 2016

2015
Online Automated Synthesis of Compact Normative Systems.
ACM Trans. Auton. Adapt. Syst., 2015

BDI reasoning with normative considerations.
Eng. Appl. Artif. Intell., 2015

Towards Knowledge-intensive Software Engineering.
Proceedings of the ICSOFT-EA 2015, 2015

LS ^2 C - A Platform for Norm Controlled Social Computers.
Proceedings of the Agents and Artificial Intelligence - 7th International Conference, 2015

LS2C - A Platform to Design, Implement and Execute Social Computations.
Proceedings of the ICAART 2015, 2015

Implementation of Normative Practical Reasoning with Durative Actions.
Proceedings of the Coordination, Organizations, Institutions, and Normes in Agent Systems XI, 2015

Extending NormLab to Spur Research on Norm Synthesis.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Synthesising Liberal Normative Systems.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Reasoning with Group Norms in Software Agent Organisations.
Proceedings of the Coordination, Organizations, Institutions, and Normes in Agent Systems XI, 2015

Policy-Carrying Data: A Step Towards Transparent Data Sharing.
Proceedings of the 6th International Conference on Ambient Systems, 2015

Effects of Knowledge Base Quality on Peer-to-peer Information Propagation.
Proceedings of the 6th International Conference on Ambient Systems, 2015

2014
Adaptive Visualization of Plans.
Proceedings of the Posters, 2014

NormLab: a framework to support research on norm synthesis.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Minimality and simplicity in the on-line automated synthesis of normative systems.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Scrutable plan enactment via argumentation and natural language generation.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013
A hybrid reasoning mechanism for effective sensor selection for tasks.
Eng. Appl. Artif. Intell., 2013

Real-time Information Querying over Peer-to-Peer Networks using Timestamps.
Proceedings of the ICAART 2013, 2013

Norms in MAS: Definitions and Related Concepts.
Proceedings of the Normative Multi-Agent Systems, 2013

Norm-Based Behavior Modification in Model-Based Reflex Agents.
Proceedings of the Brazilian Conference on Intelligent Systems, 2013

IRON: a machine for the automated synthesis of normative systems.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Automated synthesis of normative systems.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

We Ought To; They Do; Blame the Management! - A Conceptualisation of Group Norms.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems IX, 2013

2012
OWL-POLAR: A framework for semantic policy representation and reasoning.
J. Web Semant., 2012

Distributed norm management for multi-agent systems.
Expert Syst. Appl., 2012

Reasoning support for flexible task resourcing.
Expert Syst. Appl., 2012

Contextual Norm-Based Plan Evaluation via Answer Set Programming.
Proceedings of the Highlights on Practical Applications of Agents and Multi-Agent Systems, 2012

2011
Resource Determination and Allocation in Sensor Networks: A Hybrid Approach.
Comput. J., 2011

Ontological logic programming.
Proceedings of the International Conference on Web Intelligence, Mining and Semantics, 2011

Agent-Oriented Incremental Team and Activity Recognition.
Proceedings of the IJCAI 2011, 2011

Temporal accommodation of legal argumentation.
Proceedings of the 13th International Conference on Artificial Intelligence and Law, 2011

A Distributed Architecture for Norm-Aware Agent Societies: A Retrospective.
Proceedings of the Declarative Agent Languages and Technologies IX, 2011

Web Service Composition via Organisation-Based (Re)Planning.
Proceedings of the Declarative Agent Languages and Technologies IX, 2011

Acting on Norm Constrained Plans.
Proceedings of the Computational Logic in Multi-Agent Systems, 2011

Combining Semantic Web and Logic Programming for Agent Reasoning.
Proceedings of the Advanced Agent Technology, 2011

Modelling and Monitoring Interdependent Expectations.
Proceedings of the Coordination, 2011

2010
Adaptable, Organization-Aware, Service-Oriented Computing.
IEEE Intell. Syst., 2010

ALIVE: A Model-Driven Framework to Develop Dynamic, Flexible, Distributed Service-Oriented Systems.
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

OWL-POLAR: Semantic Policies for Agent Reasoning.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Position Paper: Ontological Logic Programming.
Proceedings of the 3rd International Workshop on Semantic Sensor Networks, 2010

Adaptive Negotiation in Managing Wireless Sensor Networks.
Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

Organizing services for a changing environment.
Proceedings of the iiWAS'2010, 2010

Organisation-based (re)planning for web service composition.
Proceedings of the iiWAS'2010, 2010

OKBook: Peer-to-Peer Community Formation.
Proceedings of the Semantic Web: Research and Applications, 2010

ALIVE: an agent-based framework for dynamic and robust service-oriented applications.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Flexible task resourcing for intelligent agents.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Semantic Matchmaking of Assets to Missions.
Proceedings of the Agent-Based Technologies and Applications for Enterprise Interoperability, 2010

2009
Normative conflict resolution in multi-agent systems.
Auton. Agents Multi Agent Syst., 2009

Constraint rule-based programming of norms for electronic institutions.
Auton. Agents Multi Agent Syst., 2009


Combining Organisational and Coordination Theory with Model Driven Approaches to Develop Dynamic, Flexible, Distributed Business Systems.
Proceedings of the Digital Business - First Iternational ICST Conference, 2009

Contract Formation through Preemptive Normative Conflict Resolution.
Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009

Building Multi-Agent Systems for Workflow Enactment and Exception Handling.
Proceedings of the Coordination, 2009

2008
A Fine-Grained Approach to Resolving Unsatisfiable Ontologies.
J. Data Semant., 2008

Organisational change through influence.
Auton. Agents Multi Agent Syst., 2008

Coping with Exceptions in Agent-Based Workflow Enactments.
Proceedings of the Engineering Societies in the Agents World IX, 2008

An Ontology-Centric Approach to Sensor-Mission Assignment.
Proceedings of the Knowledge Engineering: Practice and Patterns, 2008

Abstracting and Verifying Strategy-Proofness for Auction Mechanisms.
Proceedings of the Declarative Agent Languages and Technologies VI, 2008

Abstractions for model-checking game-theoretic properties of auctions.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

The AISB Convention.
Proceedings of the AISB 2008 Convention: Communication, 2008

2007
Managing Responsive Environments with Software Agents.
Appl. Artif. Intell., 2007

Managing Conflict Resolution in Norm-Regulated Environments.
Proceedings of the Engineering Societies in the Agents World VIII, 2007

Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints.
Proceedings of the Declarative Agent Languages and Technologies V, 2007

Component-Based Standardisation of Agent Communication.
Proceedings of the Declarative Agent Languages and Technologies V, 2007

Resolving conflict and inconsistency in norm-regulated virtual organizations.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

A component-based approach to standardising agent communication.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

A Distributed Architecture for Norm Management in Multi-Agent Systems.
Proceedings of the Coordination, 2007

Distributed norm management in regulated multiagent systems.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2006
A rule-based approach to norm-oriented programming of electronic institutions.
SIGecom Exch., 2006

Rule Schemata for Game Artificial Intelligence.
Proceedings of the Advances in Artificial Intelligence, 2006

Norm-Oriented Programming of Electronic Institutions: A Rule-based Approach.
Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, 2006

Norm-oriented programming of electronic institutions.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005
A Distributed Architecture for Norm-Aware Agent Societies.
Proceedings of the Declarative Agent Languages and Technologies III, 2005

Verification and Analysis of Organisational Change.
Proceedings of the Coordination, 2005

Agent-Based Management of Responsive Environments.
Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

2004
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming.
Ann. Math. Artif. Intell., 2004

OntoSearch: An Ontology Search Engine.
Proceedings of the Research and Development in Intelligent Systems XXI, 2004

ReTAX+: A Cooperative Taxonomy Revision Tool.
Proceedings of the Applications and Innovations in Intelligent Systems XII, 2004

Managing ontology versions with a distributed blackboard architecture.
Proceedings of the Research and Development in Intelligent Systems XXI, 2004

Norm Consistency in Electronic Institutions.
Proceedings of the Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29, 2004

An Agent-Based Approach to Web Site Maintenance.
Proceedings of the Web Engineering - 4th International Conference, 2004

Norm Verification and Analysis of Electronic Institutions.
Proceedings of the Declarative Agent Languages and Technologies II, 2004

2003
Characterisation of Knowledge Bases.
Proceedings of the Applications and Innovations in Intelligent Systems XI, 2003

Logic-Based Electronic Institutions.
Proceedings of the Declarative Agent Languages and Technologies, 2003

Expressive global protocols via logic-based electronic institutions.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002
On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions.
Knowl. Based Syst., 2002

A logic-based approach for automatic synthesis and maintenance of web sites.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Norms and Their Role in a Model of Electronic Institution.
Proceedings of the Regulated Agent-Based Social Systems, First International Workshop, 2002

An Approach to Rapid Prototyping of Large Multi-Agent Systems.
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

Skeleton-based agent development for electronic institutions.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001
A Lifecycle for Models of Large Multi-agent Systems.
Proceedings of the Agent-Oriented Software Engineering II, Second International Workshop, 2001

2000
Slicing knowledge-based systems: techniques and applications.
Knowl. Based Syst., 2000

Sharing Resource-Sensitive Knowledge Using Combinator Logics.
Proceedings of the Advances in Artificial Intelligence, 2000

A Practical Approach for Logic Program Analysis and Transformation.
Proceedings of the MICAI 2000: Advances in Artificial Intelligence, 2000

Automatic Extraction of Logig Program Transformations from Examples.
Proceedings of the MICAI 2000: Advances in Artificial Intelligence, 2000

A Lightweight Capability Communication Mechanism.
Proceedings of the Intelligent Problem Solving, 2000

1999
A Flexible Framework for Dynamic and Static Slicing of Logic Programs.
Proceedings of the Practical Aspects of Declarative Languages, 1999

Why Ontologies Are Not Enough for Knowledge Sharing.
Proceedings of the Multiple Approaches to Intelligent Systems, 1999

1998
An Adaptation of Dynamic Slicing Techniques for Logic Programming.
Proceedings of the Advances in Artificial Intelligence, 1998

1996
Automatic Bottom-Up Analysis and Transformation of Logic Programs.
Proceedings of the Advances in Artificial Intelligence, 1996

1995
Extracting, organising, designing and reusing Prolog programming techniques.
PhD thesis, 1995

Prolog Program Development via Enhanced Schema-based Transformations.
Proceedings of the 7th Workshop on Logic Programming Environments, 1995

An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations.
Proceedings of the Logic Programming Synthesis and Transformation, 1995

1994
Applying Prolog programming techniques.
Int. J. Hum. Comput. Stud., 1994

1993
Building Large-Scale Prolog Programs using a Techniques Editing System.
Proceedings of the Logic Programming, 1993

Characterizing Prolog Programming Techniques.
Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), 1993

Designing Prolog Programming Techniques.
Proceedings of the Logic Program Synthesis and Transformation, 1993


  Loading...