Specifying and analysing agent-based social institutions using answer set programming
Cliffe, O., De Vos, M. and Padget, J., 2006. Specifying and analysing agent-based social institutions using answer set programming. Springer, pp. 99-113. (Lecture Notes in Artificial Intelligence; 3913)
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.
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.
|Item Type||Conference or Workshop Items (UNSPECIFIED)|
|Creators||Cliffe, O., De Vos, M. and Padget, J.|
|Editors||Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Simao Sichman, J. and Vazquez-Salceda, J.|
|Departments||Faculty of Science > Computer Science|
|Additional Information||ID number: ISI:000239580700007|
Actions (login required)