Back to University of Twente portal
An integrated system for ought-to-be and ought-to-do constraints (extended abstract)
d'Altan, P. and Meyer, J.-J.Ch. and Wieringa, R.J. (1993) An integrated system for ought-to-be and ought-to-do constraints (extended abstract). In: AAAI 1993 Spring Symposium, 23-25 March 1993, Stanford University, Palo Alto, USA.
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 703Kb |
| Abstract: | Deontic logic for states is integrated with deontic logic for actions within a dynamic logic framework. |
| Item Type: | Conference or Workshop Item |
| Copyright: | © 1993 AAAI |
| Link to this item: | http://purl.utwente.nl/publications/76213 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page