This volume presents the papers contributed to ?EON 2008, the 9th Inter- tional Conference on Deontic Logic in Computer Science, held in Luxembourg, July 16–18, 2008. This biennial conference series is designed to promote int- national cooperation amongst scholars who are interested in deontic logic and its use in computer science. The scope of the conference is interdisciplinary, and includes research that links the formal-logical study of normative concepts and normative systems...
Cuprins
Norms in Branching Space-Times.- Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories.- Acting, Events and Actions.- A Tableaux System fo...
Cumpărați această carte electronică și primiți încă 1 GRATUIT!
Limba Engleză ● Format PDF ● Pagini 279 ● ISBN 9783540705253 ● Editor Ron van der Meyden & Leendert van der Torre ● Editura Springer Berlin ● Oraș Heidelberg ● Țară DE ● Publicat 2008 ● Descărcabil 24 luni ● Valută EUR ● ID 4465614 ● Protecție împotriva copiilor Adobe DRM
Necesită un cititor de ebook capabil de DRM