Inproceedings,

What is Input/Output Logic? Input/Output Logic, Constraints, Permissions.

, and .
Normative Multi-agent Systems, volume 07122 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)

Meta data

Tags

Users

  • @dblp

Comments and Reviews