Research

Specifying and analysing agent-based social institutions using answer set programming


Reference:

Cliffe, O., De Vos, M. and Padget, J., 2006. Specifying and analysing agent-based social institutions using answer set programming. In: Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems. Vol. 3913. , pp. 99-113. (Lecture Notes in Artificial Intelligence)

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.

Abstract

In this paper we discuss the use of the Answer Set Programming paradigm for representing and analysing specifications of agent-based institutions. We outline the features of institutions we model, and describe how they are translated into ASP programs which can then be used to verify properties of the specifications. We demonstrate the effectiveness of this approach through the institutions of property and exchange.

Details

Item Type Book Sections
CreatorsCliffe, O., De Vos, M. and Padget, J.
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code5361
Additional InformationID number: ISI:000239580700007

Export

Actions (login required)

View Item