½Owen Cliffe
Research Officer, Dept. Computer Science, University of Bath.
Details
| Name: | Owen Cliffe |
| Phone: | +44 (0)1225 38 4806 |
| Office: | 1 West 2.26 |
| Email: | O.C.Cliffe at bath.ac.uk |
- Normative systems: representing and reasoning about contracts,
institutions and commitments.
- Logic programming: Answer set semantics,
visualisation and debugging
- Services and Semantics: Semantic description, service
discovery, matchmaking, service composition
2009
Norms, Organisations and Semantic Web Services: The ALIVE
approach Sergio Alvarez-Napagao , Owen Cliffe ,
Javier Vazquez-Salceda and Julian Padget. The MALLOW
Workshop on Coordination, Organization, Institutions and
Norms in agent systems in on-line communities (COIN)
Turin, Italy 7th–11th September, 2009
A Pragmatic Programmer’s Guide to Answer Set Programming Martin
Brain, Owen Cliffe and Marina De Vos. Second
International Workshop on Software Engineering for
Answer Set Programming (SEA'09). Potsdam, Germany,
14th September 2009.
InstQL : A Query Language for Virtual Institutions using Answer
Set Programming Luke Hopton, Owen Cliffe, Marina De Vos,
and Julian Padget. 10th International Workshop on
Computational Logic in Multi-Agent Systems (CLIMA X) ,
Hamburg, Germany. September 2009.
AQL : A Query Language for Action Domains Modelled
using Answer Set Programming
Luke Hopton, Owen Cliffe, Marina De Vos, and Julian Padget.
10th International
Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 09)
Potsdam, Germany, 14-18 September, 2009.
Modelling Normative Frameworks using Answer Set Programing
Owen Cliffe, Marina De Vos, and Julian Padget. 10th International
Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 09)
Potsdam, Germany, 14-18 September, 2009.
2008
ASPViz: Declarative Visualisation and Animation Using Answer Set
Programming (Short Paper) Owen Cliffe, Marina De Vos, Martin Brain and Julian Padget. 24
th International Conference on Logic Programming (ICLP 08) Udine, December '08
Tools and code..
Mutual Dynamic Adaptation of Models and Service Enactment in
ALIVE Athanasios Staikopoulos, Sébastien Saudrais, Siobhán Clarke,
Julian Padget, Owen Cliffe and Marina De Vos. Models@run.time workshop
08' Toulouse, September '08.
2007
Specifying and Analysing Institutions in Multi-Agent Systems
using Answer Set Programming Owen Cliffe. Ph.D. Thesis, Dept. Computer Science, University of Bath. March 2007.
(PDF)
2006
Specifying and Reasoning about Multiple Institutions Owen Cliffe, Marina De Vos, Julian
Padget. Coordination, Organization, Institutions and Norms in agent systems (COIN), Japan, May 2006
Answer Set Programming for Representing and Reasoning about
Virtual Institutions Owen Cliffe, Marina De Vos, Julian
Padget. Seventh Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VII), Japan, May 2006
LAIMA: A Multi-agent Platform Using Ordered Choice Logic
Programming. Marina De Vos, Tom Crick, Julian Padget, Martin
Brain, Owen Cliffe, and Jonathan Needham. In Matteo Baldoni, Ulle
Endriss, Andrea Omicini, and Paolo Torroni, editors, Declarative Agent
Languages and Technologies III, volume 3904 of LNCS, pages
72--88. Springer Verlag, 2006. (February 2006)
2005
T-LAIMA: Answer Set Programming for Modeling Agents with
Trust Marina De Vos, Owen Cliffe, Richard Watson, Tom Crick,
Julian Padget, and Johnathan Needham, in Proceedings of the Third
European Workshop on Multi-Agent Systems (EUMAS '05), pp. 126-136,
2005.
Specifying and Analysing Agent-based Social Institutions using
Answer Set Programming Owen Cliffe, Marina De Vos, Julian
Padget. Agents, Norms and Institutions for Regulated
Multiagent Systems (ANIREM 05) Utrecht, The Netherlands, 25th July
2005
pdf (
Technical Report)
Teaching multi-agent systems in the UK and in Latin
America. Edgar Casasola, Owen Cliffe, Marina De Vos, and Julian
Padget. ITALICS (Innovations in Teaching And Learning in Information
and Computer Sciences), an on-line journal,
4(3). ISSN:1473-7507. Available
via
here. (September
2005)
2002
Toward a frawework for checking agent interaction within
instititutions (with
Julian
Padget)
UKMAS December 2002, Liverpool,
UK
postscript
A System For Checking Interactions Within Agent
Insitutions (with
Julian Padget)
MoChART Workshop, European Conference of AI July 2002, Lyon
postscript
- Grendelsrv A simple cluster boot/maintenance control panel
- Drinkypoos Drinking and social networks
- MPI organ Play midi tundes on your beowulf cluster
- Jeck a symbolic model checking tool for concurrent programs
written in the Java(tm) language
- ClassDep A java tool for resolving binary
dependancies of java programs and optionally building possibly
minimised jar files.
- mkclasspath A perl hack for setting up
classpaths for particular targets and their dependancies on the fly
- timehack A simple library hack for pretending to programs that the time is something else, possibly for a bit.
- libraryscript A perl WWW::Mecahnize hack to renew library books at the university of Bath
- everestbraile A simple tool
for translating ascii to 8 dot braille for the index everest braille
embosser. If you are interested in this you should also see Diego
Cena's python
tool for doing the same
- fipamailbox
A FIPA message transport protocol plugin for JADE for tunnelling through firewalls using HTTP.
Document last modified Wednesday, 30-Sep-2009 12:55:08 BST.
Owen Cliffe, occ at cs.bath.ac.uk
