Ron van der Meyden & Leendert van der Torre 
Deontic Logic in Computer Science [PDF ebook] 
9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings

Ajutor

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...

Citeste mai mult
€71.39
Metode de plata

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...

Citeste mai mult
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

Mai multe cărți electronice de la același autor (i) / Editor

16.845 Ebooks din această categorie