Deontic Logic in Computer Science

10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

  • Guido Governatori
  • Giovanni Sartor
Conference proceedings DEON 2010
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6181)

Table of contents

  1. Front Matter
  2. Rosaria Conte, Giulia Andrighetto, Daniel Villatoro
    Pages 1-1
  3. Johan van Benthem, Davide Grossi, Fenrong Liu
    Pages 50-65
  4. Tim French, John C. McCabe-Dansted, Mark Reynolds
    Pages 66-83
  5. Xavier Parent
    Pages 84-97
  6. Audun Stolpe
    Pages 98-115
  7. Joke Meheus, Mathieu Beirlaen, Frederik Van De Putte
    Pages 148-165
  8. Michael Abraham, Dov M. Gabbay, Uri Schild
    Pages 166-178
  9. Guillaume Aucher, Guido Boella, Leendert van der Torre
    Pages 196-213
  10. Brigitte Burgemeestre, Joris Hulstijn, Yao-Hua Tan
    Pages 214-228
  11. Phan Minh Dung, Giovanni Sartor
    Pages 229-246
  12. Gert-Jan C. Lokhorst
    Pages 247-258

About these proceedings

Keywords

agents deontic explosion deontic logic epistemic logic exclusion logic fuzzy logic logic logical analysis multi-agent systems temporal logic

Editors and affiliations

  • Guido Governatori
    • 1
  • Giovanni Sartor
    • 2
  1. 1.Queensland Research LaboratoryNational ICT AustraliaSt LuciaAustralia
  2. 2.European University Institute, Badia Fiesolana, 50016 San Domenico di Fiesole, Florence, Italy, and University of BolognaBolognaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-14183-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-14182-9
  • Online ISBN 978-3-642-14183-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book