Follow
Owen Cliffe
Title
Cited by
Cited by
Year
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
812007
Specifying and reasoning about multiple institutions
O Cliffe, M De Vos, J Padget
International Workshop on Coordination, Organizations, Institutions, and …, 2006
812006
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
402008
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
392005
Specifying and analysing institutions in multi-agent systems using answer set programming
O Cliffe
Department of Computer Science, University of Bath, 2007
342007
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
292006
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
232010
A pragmatic programmer’s guide to answer set programming
M Brain, O Cliffe, M De Vos
Software Engineering for answer set programming (SEA09), 2009
182009
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
162009
Mutual dynamic adaptation of models and service enactment in ALIVE
A Staikopoulos, S Saudrais, S Clarke, J Padget, O Cliffe, M De Vos
Proceedings of the Third International Models@ Runtime Workshop, 26-35, 2008
122008
Modelling normative frameworks using answer set programing
O Cliffe, M De Vos, J Padget
Logic Programming and Nonmonotonic Reasoning: 10th International Conference …, 2009
92009
A framework for checking agent interaction within institutions
O Cliffe, J Padget
Proceedings of MOCHART workshop at ECAI'02, 2002
92002
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
82011
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
72010
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
62007
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
52009
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
42009
T-laima: answer set programming for modelling agents with trust
MD Vos, O Cliffe, R Watson, T Crick, J Padget, J Needham, M Brain
42005
Towards a framework for checking agent interraction within institutions
O Cliffe, J Padget
Model Checking and Artificial Intelligence Workshop (MoChArt 02), 2002
32002
Bootstrapping semantic web services with in-language annotations
O Cliffe, A Scotney, J Padget
7th Extended Semantic Web Conference, 2010
2010
The system can't perform the operation now. Try again later.
Articles 1–20