Specifying and reasoning about multiple institutions O Cliffe, M De Vos, J Padget International Workshop on Coordination, Organizations, Institutions, and …, 2006 | 87 | 2006 |
Answer set programming for representing and reasoning about virtual institutions O Cliffe, M De Vos, J Padget Computational Logic in Multi-Agent Systems: 7th International Workshop …, 2007 | 82 | 2007 |
ASPVIZ: Declarative visualisation and animation using answer set programming O Cliffe, M De Vos, M Brain, J Padget Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008 | 40 | 2008 |
Specifying and analysing institutions in multi-agent systems using answer set programming O Cliffe Department of Computer Science, University of Bath, 2007 | 36 | 2007 |
Specifying and analysing agent-based social institutions using answer set programming O Cliffe, M De Vos, J Padget International conference on autonomous agents and multiagent systems, 99-113, 2005 | 36 | 2005 |
LAIMA: A multi-agent platform using ordered choice logic programming M De Vos, T Crick, J Padget, M Brain, O Cliffe, J Needham Declarative Agent Languages and Technologies III: Third International …, 2006 | 28 | 2006 |
Template-based adaptation of semantic web services with model-driven engineering A Staikopoulos, O Cliffe, R Popescu, J Padget, S Clarke IEEE Transactions on Services Computing 3 (2), 116-130, 2010 | 23 | 2010 |
Norms, organisations and semantic web services: The ALIVE approach S Álvarez Napagao, O Cliffe, J Vázquez Salceda, J Padget Proceedings of the Second Multi-Agent Logics, Languages, and Organisations …, 2009 | 19 | 2009 |
A pragmatic programmer’s guide to answer set programming M Brain, O Cliffe, M De Vos Software Engineering for answer set programming (SEA09), 2009 | 18 | 2009 |
Mutual dynamic adaptation of models and service enactment in ALIVE A Staikopoulos, S Saudrais, S Clarke, J Padget, O Cliffe, M DeVos University of Limerick, 2008 | 12 | 2008 |
Modelling normative frameworks using answer set programing O Cliffe, M De Vos, J Padget Logic Programming and Nonmonotonic Reasoning: 10th International Conference …, 2009 | 9 | 2009 |
A framework for checking agent interaction within institutions O Cliffe, J Padget Proceedings of MOCHART workshop at ECAI'02, 2002 | 9 | 2002 |
Coordination, organisation and model-driven approaches for dynamic, flexible, robust software and services engineering S Dustdar, F Li, JC Nieves, J Padget, W Vasconcelos, A Staikopoulos, ... Service Engineering: European Research Results, 85-115, 2011 | 8 | 2011 |
InstQL: A Query Language for Virtual Institutions Using Answer Set Programming L Hopton, O Cliffe, M De Vos, J Padget Computational Logic in Multi-Agent Systems: 10th International Workshop …, 2010 | 7 | 2010 |
Embedding landmarks and scenes in a computational model of institutions O Cliffe, M De Vos, J Padget International Workshop on Coordination, Organizations, Institutions, and …, 2007 | 7 | 2007 |
Marina De Vos, and Julian Padget O Cliffe Answer set programming for representing and reasoning about virtual …, 2007 | 6 | 2007 |
Marina De Vos, and Julian A. Padget,‘Specifying and analysing agent-based social institutions using answer set programming’ O Cliffe Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems …, 2005 | 6 | 2005 |
ALIVE: A framework for flexible and adaptive service coordination JSC Lam, WW Vasconcelos, F Guerin, D Corsar, A Chorley, TJ Norman, ... Engineering Societies in the Agents World X: 10th International Workshop …, 2009 | 5 | 2009 |
AQL: A Query Language for Action Domains Modelled Using Answer Set Programming L Hopton, O Cliffe, M De Vos, J Padget Logic Programming and Nonmonotonic Reasoning: 10th International Conference …, 2009 | 5 | 2009 |
T-LAIMA: Answer Set Programming for Modelling Agents with Trust. M De Vos, O Cliffe, R Watson, T Crick, JA Padget, J Needham, M Brain EUMAS, 126-136, 2005 | 4 | 2005 |