Research Output 1977 2019

Filter
Conference contribution
2009
5 Citations (Scopus)

AQL : A query language for action domains modelled using answer set programming

Hopton, L., Cliffe, O., De Vos, M. & Padget, J., 2009, Logic Programming and Nonmonotonic Reasoning. Erdem, E., Fangzhen, L. & Schaub, T. (eds.). Berlin, Germany: Springer, Vol. 5753. p. 437-443 7 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Query languages
Semantics
Specifications
Processing
Oils
6 Citations (Scopus)

Modelling normative frameworks using answer set programing

Cliffe, O., De Vos, M. & Padget, J., 2009, Logic Programming and Nonmonotonic Reasoning. Erdem, E., Fangzhen, L. & Schaub, T. (eds.). Berlin, Germany: Springer, Vol. 5753. p. 548-553 6 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
Formal verification
2008
15 Citations (Scopus)

ASPViz: Declarative Visualisation and Animation Using Answer Set Programming

Cliffe, O., De Vos, M., Padget, J. & Brain, M., Dec 2008, Logic Programming - Proceedings of the 24th International Conference in Logic Programming (ICLP). Berlin / Heidelberg: Springer, Vol. 5366. p. 724-728 5 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Answer Sets
Answer Set Programming
Animation
Visualization
Debugging
3 Citations (Scopus)

Embedding landmarks and scenes in a computational model of institutions

Cliffe, O., De Vos, M. & Padget, J., 2008, Coordination, Organizations, Institutions, and Norms in Agent Systems III: COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 revised selected papers. Sichman, J. S., Padget, J., Ossowski, S. & Noriega, P. (eds.). Springer, p. 41-57 17 p. (Lecture Notes in Computer Science; vol. 4870).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Mutual dynamic adaptation of models and service enactment in ALIVE

Staikopoulos, A., Saudrais, S., Clarke, S., Padget, J., Cliffe, O. & De Vos, M., Sep 2008, Models@Runtime workshop, Models 2008. p. 1-0 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Systems analysis
Availability
Industry
1 Citation (Scopus)

The role of modularity in stablizing cultural evolution: Conformity and innovation in an agent-based model

Bryson, J. J., 1 Dec 2008, Adaptive Agents in Cultural Contexts - Papers from the AAAI Fall Symposium, Technical Report. Vol. FS-08-01. p. 8-17 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Innovation
Pumps
Experiments