2008 |
49 | | Frank Guerin,
Wamberto Weber Vasconcelos:
AISB 2008 Convention: Communication, Interaction and Social Intelligence, 1st-4th April 2008, University of Aberdeen
AISB 2008 |
48 | EE | Emmanuel M. Tadjouddine,
Frank Guerin,
Wamberto Weber Vasconcelos:
Abstractions for model-checking game-theoretic properties of auctions.
AAMAS (3) 2008: 1613-1616 |
47 | | Frank Guerin,
Wamberto Weber Vasconcelos:
The AISB Convention.
AISB Convention 2008 |
46 | EE | Emmanuel M. Tadjouddine,
Frank Guerin,
Wamberto Weber Vasconcelos:
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms.
DALT 2008: 197-214 |
45 | EE | Mario Gomez,
Alun D. Preece,
Matthew P. Johnson,
Geeth de Mel,
Wamberto Weber Vasconcelos,
Christopher Gibson,
Amotz Bar-Noy,
Konrad Borowiecki,
Thomas F. La Porta,
Diego Pizzocaro,
Hosam Rowaihy,
Gavin Pearson,
Tiem Pham:
An Ontology-Centric Approach to Sensor-Mission Assignment.
EKAW 2008: 347-363 |
44 | EE | Mairi McCallum,
Wamberto Weber Vasconcelos,
Timothy J. Norman:
Organisational change through influence.
Autonomous Agents and Multi-Agent Systems 17(2): 157-189 (2008) |
43 | EE | Joey Sik Chun Lam,
Derek H. Sleeman,
Jeff Z. Pan,
Wamberto Weber Vasconcelos:
A Fine-Grained Approach to Resolving Unsatisfiable Ontologies.
J. Data Semantics 10: 62-95 (2008) |
2007 |
42 | EE | Frank Guerin,
Wamberto Weber Vasconcelos:
A component-based approach to standardising agent communication.
AAMAS 2007: 35 |
41 | EE | Dorian Gaertner,
Andrés García-Camino,
Pablo Noriega,
Juan A. Rodríguez-Aguilar,
Wamberto Weber Vasconcelos:
Distributed norm management in regulated multiagent systems.
AAMAS 2007: 90 |
40 | EE | Wamberto Weber Vasconcelos,
Martin J. Kollingbaum,
Timothy J. Norman:
Resolving conflict and inconsistency in norm-regulated virtual organizations.
AAMAS 2007: 91 |
39 | EE | Andrés García-Camino,
Juan A. Rodríguez-Aguilar,
Wamberto Weber Vasconcelos:
A Distributed Architecture for Norm Management in Multi-Agent Systems.
COIN 2007: 275-286 |
38 | EE | Martin J. Kollingbaum,
Wamberto Weber Vasconcelos,
Andrés García-Camino,
Timothy J. Norman:
Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints.
DALT 2007: 158-174 |
37 | EE | Frank Guerin,
Wamberto Weber Vasconcelos:
Component-Based Standardisation of Agent Communication.
DALT 2007: 227-244 |
36 | EE | Martin J. Kollingbaum,
Wamberto Weber Vasconcelos,
Andrés García-Camino,
Timothy J. Norman:
Managing Conflict Resolution in Norm-Regulated Environments.
ESAW 2007: 55-71 |
35 | EE | Flávio S. Corrêa da Silva,
Wamberto Weber Vasconcelos:
Managing Responsive Environments with Software Agents.
Applied Artificial Intelligence 21(4&5): 469-488 (2007) |
2006 |
34 | EE | Andrés García-Camino,
Juan A. Rodríguez-Aguilar,
Carles Sierra,
Wamberto Weber Vasconcelos:
Norm-oriented programming of electronic institutions.
AAMAS 2006: 670-672 |
33 | EE | Andrés García-Camino,
Juan A. Rodríguez-Aguilar,
Carles Sierra,
Wamberto Weber Vasconcelos:
Norm-Oriented Programming of Electronic Institutions: A Rule-based Approach.
EUMAS 2006 |
32 | EE | Flávio S. Corrêa da Silva,
Wamberto Weber Vasconcelos:
Rule Schemata for Game Artificial Intelligence.
IBERAMIA-SBIA 2006: 451-461 |
31 | EE | Sik Chun Lam,
Jeff Z. Pan,
Derek H. Sleeman,
Wamberto Weber Vasconcelos:
A Fine-Grained Approach to Resolving Unsatisfiable Ontologies.
Web Intelligence 2006: 428-434 |
2005 |
30 | EE | Mairi McCallum,
Wamberto Weber Vasconcelos,
Timothy J. Norman:
Verification and Analysis of Organisational Change.
AAMAS Workshops 2005: 48-63 |
29 | EE | Flávio S. Corrêa da Silva,
Wamberto Weber Vasconcelos:
Agent-Based Management of Responsive Environments.
AI*IA 2005: 224-236 |
28 | EE | Andrés García-Camino,
Juan A. Rodríguez-Aguilar,
Carles Sierra,
Wamberto Weber Vasconcelos:
A Distributed Architecture for Norm-Aware Agent Societies.
DALT 2005: 89-105 |
2004 |
27 | EE | Wamberto Weber Vasconcelos:
Norm Verification and Analysis of Electronic Institutions.
DALT 2004: 166-182 |
26 | EE | Wamberto Weber Vasconcelos,
João M. B. Cavalcanti:
An Agent-Based Approach to Web Site Maintenance.
ICWE 2004: 271-286 |
25 | EE | Marc Esteva,
Wamberto Weber Vasconcelos,
Carles Sierra,
Juan A. Rodríguez-Aguilar:
Norm Consistency in Electronic Institutions.
SBIA 2004: 494-505 |
24 | EE | Wamberto Weber Vasconcelos,
David Stuart Robertson,
Carles Sierra,
Marc Esteva,
Jordi Sabater,
Michael Wooldridge:
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming.
Ann. Math. Artif. Intell. 41(2-4): 135-169 (2004) |
2003 |
23 | EE | Wamberto Weber Vasconcelos:
Expressive global protocols via logic-based electronic institutions.
AAMAS 2003: 1150-1151 |
22 | EE | Wamberto Weber Vasconcelos:
Logic-Based Electronic Institutions.
DALT 2003: 221-242 |
2002 |
21 | EE | Wamberto Weber Vasconcelos,
Jordi Sabater,
Carles Sierra,
Joaquim Querol:
Skeleton-based agent development for electronic institutions.
AAMAS 2002: 696-703 |
20 | EE | Wamberto Weber Vasconcelos,
Carles Sierra,
Marc Esteva:
An Approach to Rapid Prototyping of Large Multi-Agent Systems.
ASE 2002: 13-22 |
19 | EE | Ioan Alfred Letia,
Wamberto Weber Vasconcelos:
Norms and Their Role in a Model of Electronic Institution.
RASTA 2002: 240-258 |
18 | EE | João M. B. Cavalcanti,
Wamberto Weber Vasconcelos:
A logic-based approach for automatic synthesis and maintenance of web sites.
SEKE 2002: 619-626 |
17 | EE | Flávio S. Corrêa da Silva,
Wamberto Weber Vasconcelos,
David Stuart Robertson,
Virgínia V. B. Biris Brilhante,
Ana Cristina Vieira de Melo,
Marcelo Finger,
Jaume Agustí-Cullell:
On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions.
Knowl.-Based Syst. 15(3): 147-167 (2002) |
2001 |
16 | EE | Wamberto Weber Vasconcelos,
David Stuart Robertson,
Jaume Agustí-Cullell,
Carles Sierra,
Michael Wooldridge,
Simon Parsons,
Christopher Walton,
Jordi Sabater:
A Lifecycle for Models of Large Multi-agent Systems.
AOSE 2001: 297-318 |
2000 |
15 | EE | Marcelo Finger,
Wamberto Weber Vasconcelos:
Sharing Resource-Sensitive Knowledge Using Combinator Logics.
IBERAMIA-SBIA 2000: 196-206 |
14 | EE | David Stuart Robertson,
Flávio S. Corrêa da Silva,
Wamberto Weber Vasconcelos,
Ana Cristina Vieira de Melo:
A Lightweight Capability Communication Mechanism.
IEA/AIE 2000: 660-670 |
13 | | Wamberto Weber Vasconcelos,
Marcelo A. T. Aragão:
Automatic Extraction of Logig Program Transformations from Examples.
MICAI 2000: 224-234 |
12 | | Wamberto Weber Vasconcelos,
Eudenia Xavier Meneses:
A Practical Approach for Logic Program Analysis and Transformation.
MICAI 2000: 82-94 |
11 | EE | Wamberto Weber Vasconcelos,
Marcelo A. T. Aragão:
Slicing knowledge-based systems: techniques and applications.
Knowl.-Based Syst. 13(4): 177-198 (2000) |
1999 |
10 | | Flávio S. Corrêa da Silva,
Jaume Agustí-Cullell,
Ana Cristina Vieira de Melo,
Wamberto Weber Vasconcelos,
David Stuart Robertson:
Why Ontologies Are Not Enough for Knowledge Sharing.
IEA/AIE 1999: 520-529 |
9 | EE | Wamberto Weber Vasconcelos:
A Flexible Framework for Dynamic and Static Slicing of Logic Programs.
PADL 1999: 259-274 |
1998 |
8 | | Wamberto Weber Vasconcelos,
Marcelo A. T. Aragão:
An Adaptation of Dynamic Slicing Techniques for Logic Programming.
SBIA 1998: 151-160 |
1996 |
7 | | Wamberto Weber Vasconcelos,
Marcelo A. T. Aragão,
Norbert E. Fuchs:
Automatic Bottom-Up Analysis and Transformation of Logic Programs.
SBIA 1996: 191-200 |
1995 |
6 | | Wamberto Weber Vasconcelos,
Norbert E. Fuchs:
An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations.
LOPSTR 1995: 174-188 |
5 | | Wamberto Weber Vasconcelos,
Norbert E. Fuchs:
Prolog Program Development via Enhanced Schema-based Transformations.
LPE 1995 |
1994 |
4 | EE | Andrew Bowles,
David Stuart Robertson,
Wamberto Weber Vasconcelos,
Maria Vargas-Vera,
Diana Bental:
Applying Prolog programming techniques.
Int. J. Hum.-Comput. Stud. 41(3): 329-350 (1994) |
1993 |
3 | | Maria Vargas-Vera,
Wamberto Weber Vasconcelos,
David Stuart Robertson:
Building Large-Scale Prolog Programs using a Techniques Editing System.
ILPS 1993: 636 |
2 | | Wamberto Weber Vasconcelos:
Designing Prolog Programming Techniques.
LOPSTR 1993: 85-99 |
1 | | Andrew Bowles,
Wamberto Weber Vasconcelos:
Characterizing Prolog Programming Techniques.
LPE 1993: 27-32 |