Answer set programming for representing and reasoning about virtual institutions

O Cliffe, M De Vos, J Padget - Computational Logic in Multi-Agent Systems …, 2007 - Springer
It is recognised that institutions are potentially powerful means for making agent interactions
effective and efficient, but institutions will only really be useful when, as in other safety …

[PDF][PDF] Specifying and analysing institutions in multi-agent systems using answer set programming

O Cliffe - 2007 - researchportal.bath.ac.uk
It is recognised that normative systems, and in particular electronic institutions and contracts
are a potentially powerful means for making agent interactions in multi-agent systems …

[引用][C] Representing and Reasoning about Electronic Institutions using Answer Set Programming