Research Output 1977 2020

Filter
Conference contribution
2010
2 Citations (Scopus)

InstQL: A Query Language for Virtual Institutions Using Answer Set Programming

Hopton, L., Cliffe, O., De Vos, M. & Padget, J., 2010, Computational Logic in Multi-Agent Systems. Dix, J., Fisher, M. & Novak, P. (eds.). Berlin: Springer, Vol. 6214. p. 102-121 20 p. (Lecture Notes in Artificial Intelligence).

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

Query languages
Software architecture
Semantics
2009
2 Citations (Scopus)

ALIVE: A Framework for Flexible and Adaptive Service Coordination

Lam, J. S. C., Vasconcelos, W. W., Guerin, F., Corsar, D., Chorley, A., Norman, T. J., Vázquez-Salceda, J., Panagiotidi, S., Confalonieri, R., Gomez, I., Hidalgo, S., Napagao, S. A., Nieves, J. C., Palau Roig, M., Ceccaroni, L., Aldewereld, H., Dignum, V., Dignum, F., Penserini, L., Padget, J. & 10 others, De Vos, M., Andreou, D., Cliffe, O., Staikopoulos, A., Popescu, R., Clarke, S., Sergeant, P., Reed, C., Quillinan, T. & Nieuwenhuis, K., 2009, Engineering Societies in the Agents World X. Heidelberg: Springer, Vol. 5881. p. 236-239 4 p.

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

Open systems
Semantic Web
Web services
Semantics
Communication
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
16 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
4 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