PhD Theses

• Xi Bai, 2013, Peer-to-Peer, Multi-agent Interaction Adapted to a Web Architecture
• Adam Barker, 2007, Flexible Service Composition
• Paolo Besana, 2009, Predicting the Content of Peer to Peer Interactions
• Shariar Bijani, 2013, Securing Open Multi-agent Systems Governed by Electronic Institutions
• Virginia Brilhante, 2003, Ontology and Reuse in Model Synthesis
• DanielaCarbogim, 2000, Dynamics in Formal Argumentation
• Alberto Castro, 1998, A Techniques Based Framework for Domain-specific Synthesis of Simulation Models
• Joao Cavalcanti, 2003, A Computational Logic Approach for Web Site synthesis and Management
• Nikolaos Chatzinikolaou, 2012, Evolution Through Reputation: Noise-resistant Selection in Evolution- ary Multi-agent Systems
• Jessica Chen-Burger, 2001, Formal Support for an Informal Business Modelling Method
• Mark Collins, 2006, An Algorithm for Evolving Protocol Constraints
• Flavio Correa da Silva, 1992, Automated Reasoning with Uncertainties
• Ana Costa e Silva, 2010, Task-specific Ontology Mapping in Distributed Environments
• Peter Funk, 1997, CABS:A Case Based and Graphical Requirements Capture, Formalisation and Verification System
• Philip Graham, 2011, Multi-agent Coordination in Complex Virtual Environments
• Mandy Haggith, 1996, A Meta-level Argumentation Framework for Representation and Reasoning About Disagreement
• Fadzil Hassan, 2007, Coordinated Constraint Relaxation Using a Distributed Agent Protocol
• Jinhan Kim, 2012, J-model: an Open and Social Ensemble Learning Architecture for Classification
• David Lambert, 2009, Thinking Outside the TBox: Multiparty Service Matchmaking as Information Retrieval
• Renaud Lecoeuche, 1999, Formalisation and Evaluation of Focus Theories for Requirements Elicitation Dialogues in Natural Language
• Siu-wai Leung, 2007, Computational Synthesis for Scientific Experimentation
• Guo Li, 2006, Enacting a Decentralised Workflow Management System on a Multi-agent Platform
• Jarred McGinnis, 2006, On the Mutability of Protocols
• Aswag Maghraby, 2013, Bridging the Specification Protocool Gap in Argumentation
• Paul Martin, 2010, Social Group Formation in Multi-agent Systems
• Edjard Mota, 1998, Time Granularity in Simulation Models Within a Multi-agent System
• Keiichi Nakata, 1994, A Causal Reasoning Approach to Behaviour-oriented Design
• Nam Seog Park, 1997, A Connectionist Representation of First-Order Formulae with Dynamic Binding
• Dave Robertson, 1999, Pragmatics in the Synthesis of Logic Programs
• Yannis Kalfoglou, 2000, Deploying Ontologies in Software Design
• Maria Vargas-Vera, 1994, Guidance During Program Composition in a Prolog Techniques Editor
• Wamberto Vasconcelos, 1995, Extracting, Organising, Designing and Re-Using Prolog Programming Techniques
• Xindong Wu, 1993, Knowledge Acquisition from Databases
• Soon-Ae Yang, 1995, A Case Based Reasoning System for Building Regulations
• Maciej Zurawski, 2009, A Formal Framework for Multi-context Knowledge Management

Some MSc Theses

• L.Xiao, 2003, Agent Oriented Requirements Modelling
• A.Goderis, 2003, Incorporating the Semantic Web into a Lightweight Formal Broker
• N.Osman, 2003, Addressing Constraint Failures in Distributed Dialogue Protocols
• M.Hering, 2004, Cooperative Multi Agent Systems in Automobiles
• C.Rudradevaru, 2004, A Temporal Logic Based Constraint Verifier for Business Process Models
• A.Grivas, 2005, A Structural Synthesis System for LCC Protocols
• Z.Pervez, 2005, Semantic Query Routing in Agent-Based Peer-to-Peer Systems Using Lightweight Coordination Calculus
• S.Elahi, 2005, Semantic Query Routing in Agent-Based P2P Systems
• T.Herchenroeder, 2006, Lightweight Semantic Web Reasoning in Prolog: Tableau Inference for Description Logics