Original language | English |
---|---|
Title of host publication | Proceedings of the Fifth Workshop on Deontic Logic in Computer Science (Deon'2000), Toulouse, 2000. |
Publication status | Published - 1999 |
Consistency constraints for input/output logic: a comparative review.
D. Makinson, L.W.N. van der Torre
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review