related documents
- A Tableaux System for Deontic Action Logic Conferences
9th International Workshop on Deontic Logic in Computer Science (DEON 2008)
Conference
- Scholarly Activity