Coverart for item
The Resource Deontic logic in computer science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008 : proceedings, Ron van der Meyden, Leendert van der Torre (eds.), (electronic resource)

Deontic logic in computer science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008 : proceedings, Ron van der Meyden, Leendert van der Torre (eds.), (electronic resource)

Label
Deontic logic in computer science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008 : proceedings
Title
Deontic logic in computer science
Title remainder
9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008 : proceedings
Statement of responsibility
Ron van der Meyden, Leendert van der Torre (eds.)
Title variation
  • [Delta]EON 2008
  • DEON 2008
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation:
Member of
Cataloging source
BTCTA
Dewey number
004
LC call number
QA75.5
LC item number
.I615 2008
http://bibfra.me/vocab/lite/meetingDate
2008
http://bibfra.me/vocab/lite/meetingName
International Conference on Deontic Logic in Computer Science
http://library.link/vocab/relatedWorkOrContributorDate
1960-
http://library.link/vocab/relatedWorkOrContributorName
  • Van der Meyden, Ron
  • Torre, Leendert van der
Series statement
Lecture notes in artificial intelligence, subseries of Lecture notes in computer science,
Series volume
5076
http://library.link/vocab/subjectName
  • Deontic logic
  • Computer science
Summary expansion
This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON 2008, held in Luxembourg in July 2008. The 16 revised full papers presented together with 4 invited talks were carefully reviewed and selected for inclusion in the book. The topics addressed are development of formal systems of deontic logic and related areas of logic, and applications. Of particular interest is the interaction between computer systems and their users
Label
Deontic logic in computer science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008 : proceedings, Ron van der Meyden, Leendert van der Torre (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and author index
Control code
OCM1bookssj0000355481
Dimensions
unknown
Isbn
9783540705246
Isbn Type
(pbk. : alk. paper)
Lccn
2008930268
Specific material designation
remote
System control number
(WaSeSS)bookssj0000355481
Label
Deontic logic in computer science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008 : proceedings, Ron van der Meyden, Leendert van der Torre (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and author index
Control code
OCM1bookssj0000355481
Dimensions
unknown
Isbn
9783540705246
Isbn Type
(pbk. : alk. paper)
Lccn
2008930268
Specific material designation
remote
System control number
(WaSeSS)bookssj0000355481

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...