Owen Cliffe
Title
Cited by
Cited by
Year
Specifying and reasoning about multiple institutions
O Cliffe, M De Vos, J Padget
International Workshop on Coordination, Organizations, Institutions, and …, 2006
692006
Answer set programming for representing and reasoning about virtual institutions
O Cliffe, M De Vos, J Padget
International Workshop on Computational Logic in Multi-Agent Systems, 60-79, 2006
692006
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
372005
Specifying and analyzing institutions in multi-agent systems using answer set programming
O Cliffe
The Knowledge Engineering Review 24 (4), 411-411, 2009
312009
ASPVIZ: Declarative visualisation and animation using answer set programming
O Cliffe, M De Vos, M Brain, J Padget
International Conference on Logic Programming, 724-728, 2008
312008
LAIMA: A multi-agent platform using ordered choice logic programming
M De Vos, T Crick, J Padget, M Brain, O Cliffe, J Needham
International Workshop on Declarative Agent Languages and Technologies, 72-88, 2005
282005
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
212010
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
A pragmatic programmer’s guide to answer set programming
M Brain, O Cliffe, M De Vos
Answer Set Programming, 49, 2009
142009
Mutual dynamic adaptation of models and service enactment in ALIVE
A Staikopoulos, S Saudrais, S Clarke, J Padget, O Cliffe, M DeVos
122008
Coordination, organisation and model-driven approaches for dynamic, flexible, robust software and services engineering
JC Nieves, J Padget, W Vasconcelos, A Staikopoulos, O Cliffe, F Dignum, ...
Service engineering, 85-115, 2011
82011
Modelling normative frameworks using answer set programing
O Cliffe, M De Vos, J Padget
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009
82009
InstQL: A Query Language for Virtual Institutions Using Answer Set Programming
L Hopton, O Cliffe, M De Vos, J Padget
International Workshop on Computational Logic in Multi-Agent Systems, 102-121, 2009
82009
A framework for checking agent interaction within institutions
O Cliffe, J Padget
Proceedings of MOCHART workshop at ECAI'02, 2002
82002
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, ...
International Workshop on Engineering Societies in the Agents World, 236-239, 2009
52009
Marina De Vos, and Julian Padget
O Cliffe
Specifying and reasoning about multiple institutions. In proceedings of COIN …, 2007
52007
AQL: A Query Language for Action Domains Modelled Using Answer Set Programming
L Hopton, O Cliffe, M De Vos, J Padget
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009
42009
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
42005
Towards a framework for checking agent interraction within institutions
O Cliffe, J Padget
Model Checking and Artificial Intelligence Workshop (MoChArt 02), 2002
42002
The system can't perform the operation now. Try again later.
Articles 1–20