- Logic-Based Electronic Institutions Wamberto W. Vasconcelos
- O Tempo como Modelo: A Aplicac~ao de L'ogicas Temporais
- Requirements-Driven Contracting for Norm-Regulated Multi-Agent Systems
- Managing Responsive Environments with Software Agents
- Managing Conflict Resolution in Norm-Regulated Environments
- Rapid Prototyping of Large Multi-Agent Systems through Logic Programming
- manuscript No. (will be inserted by the editor)
- Norm Verification and Analysis of Electronic Institutions
- An Ontology-Centric Approach to Sensor-Mission Mario Gomez
- Distributed Norm Management in Regulated Multi-Agent Systems
- Automatic BottomUp Analysis and Transformation of Logic Programs ?
- Automatic Extraction of Logic Program Transformations from Examples
- Abstractions for Model-Checking Game-theoretic Properties in Combinatorial Auctions
- The Ontology Versioning Manifold at its genesis: a distributed blackboard architecture
- Simulating Multi-Agent Systems using Logic Programming ?
- Designing Prolog Programming Techniques Wamberto Weber Vasconcelos y
- A Rule-based Approach to Norm-Oriented Programming of Electronic Institutions
- 80 1541-1672/10/$26.002010IEEE IEEE INtEllIgENt systEMs Published by the IEEE Computer Society
- Verifying Norm Consistency in Electronic Institutions M. Esteva and J. A. Rodriguez-Aguilar and C. Sierra
- Agent-Based Web Site Maintenance Wamberto W. Vasconcelos1
- An Adaptation of Dynamic Slicing Techniques for Logic Programming ?
- A Practical Approach for Logic Program Analysis and Transformation
- OKBook: Peer-to-Peer Community Formation , Wamberto Vasconcelos2
- Reasoning and Resource Allocation for Sensor-Mission Assignment in a Coalition Context A. Preece, D. Pizzocaro, K. Borowiecki, G. de Mel, M. Gomez, W. Vasconcelos,
- A Fine-Grained Approach to Resolving Unsatisfiable Ontologies Sik Chun (Joey) Lam, Jeff Z. Pan, Derek Sleeman, Wamberto Vasconcelos
- Abstract--Complex mission scenarios are those in which information changes continuously and quickly or scenarios
- Abstracting and Verifying Strategy-proofness for Auction Mechanisms
- Component-Based Standardisation of Agent Communication
- Conflict Resolution in Norm-Regulated Environments via Unification and Constraints
- Modelling Organisational Change using Agents Wamberto Vasconcelos Mairi McCallum Tim Norman
- Norm-Oriented Programming of Electronic Institutions: A Rule-based Approach
- Agent-Based Management of Responsive Environments
- A Distributed Architecture for Norm-Aware Agent Societies
- ReTAX+: A Cooperative Taxonomy Revision Tool Sik Chun (Joey) Lam, Derek Sleeman, and Wamberto Vasconcelos
- A Temporal Logic of Assertions for Agent Programming Wamberto W. Vasconcelos
- Norm Consistency in Electronic Institutions , W. Vasconcelos2
- Expressive Global Protocols via Logic-Based Electronic Institutions
- Slicing knowledge-based systems: techniques and applications W.W. Vasconcelosa,*, M.A.T. Aragaob,1
- Coping with Exceptions in Agent-Based Workflow Joey Sik-Chun Lam, Frank Guerin, Wamberto Vasconcelos, and Timothy J. Norman
- Rule Schemata for Game Artificial Intelligence Flavio S. Corr^ea da Silva1
- Temporal Assertions for the Speci cation, Veri cation and Execution of Agent Populations
- Agent-Based Management of Responsive Environments
- Flexible Task Resourcing In Dynamic Environments Murat Sensoy, Wamberto W. Vasconcelos, Timothy J. Norman and Katia Sycara
- Software Agents for Incremental, Team-Oriented Activity and Plan Recognition
- An Opportunistic Approach for Logic Program Analysis and Optimisation
- Prolog Program Development via Enhanced Schema-Based Transformations Wamberto W. Vasconcelos y Norbert E. Fuchs
- Extracting, Organising, Designing and Reusing Prolog Programming Techniques
- A Component-Based Approach to Standardising Agent Communication
- OWL-POLAR: Semantic Policies for Agent Reasoning Murat Sensoy1
- A Prolog Simulation Platform for Logic-Based Multi-Agent Systems
- Resolving Conflict and Inconsistency in Norm-Regulated Virtual Organizations
- Norm-Oriented Programming of Electronic Institutions A. Garcia-Camino,
- A Distributed Architecture for Norm-Aware Agent Societies
- Using constraints for Norm-aware BDI Agents Paper # 1569318578
