Cover Image

QR Code

Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings /

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

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	van der Meyden, Ron. (Editor, http://id.loc.gov/vocabulary/relators/edt), van der Torre, Leendert. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edition:	1st ed. 2008.
Series:	Lecture Notes in Artificial Intelligence ; 5076
Subjects:	Artificial intelligence. Mathematical logic. Artificial Intelligence. Mathematical Logic and Formal Languages.
Online Access:	https://doi.org/10.1007/978-3-540-70525-3

Similar Items

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings / edited by Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent.
Published: (2014)

Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings / edited by Steffen Hölldobler, Carsten Lutz, Heinrich Wansing.
Published: (2008)

Dynamic Epistemic Logic by Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi.
by: van Ditmarsch, Hans., et al.
Published: (2008)

Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings / edited by Nils Bulling, Leendert van der Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos.
Published: (2014)

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings / edited by Ian Miguel, Wheeler Tuml.
Published: (2007)

Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings / edited by André Platzer, Geoff Sutcliffe.
Published: (2021)

Automated Deduction - CADE-21 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings / edited by Frank Pfenning.
Published: (2007)

Automated Reasoning and Mathematics Essays in Memory of William W. McCune / edited by Maria Paola Bonacina, Mark E. Stickel.
Published: (2013)

Belief Revision in Non-Classical Logics by Márcio Moretto Ribeiro.
by: Ribeiro, Márcio Moretto., et al.
Published: (2013)

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings / edited by Filip Železný, Nada Lavrač.
Published: (2008)

Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers / edited by Katsumi Inoue, Ken Satoh, Francesca Toni.
Published: (2007)

Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / edited by Carsten Lutz, Silvio Ranise.
Published: (2015)

Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers / edited by Robert Fullér, Silvio Giove, Francesco Masulli.
Published: (2019)

Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers / edited by Martin Aher, Daniel Hole, Emil Jeřábek, Clemens Kupke.
Published: (2015)

Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers / edited by Fariba Sadri, Ken Satoh.
Published: (2008)

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran.
Published: (2013)

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings / edited by Sergei Artemov, Anil Nerode.
Published: (2016)

Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers / edited by James Cussens, Alessandra Russo.
Published: (2017)

Logic and language models for computer science Henry Hamburger, Dana Richards.
by: Hamburger
Published: (2002)

Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday / edited by S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, V. Marra.
Published: (2007)

Description Logics in Multimedia Reasoning by Leslie F. Sikos.
by: Sikos, Leslie F., et al.
Published: (2017)

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings / edited by Iliano Cervesato, Helmut Veith, Andrei Voronkov.
Published: (2008)

Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers / edited by Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani.
Published: (2018)

Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding Third China Conference, CCKS 2018, Tianjin, China, August 14–17, 2018, Revised Selected Papers / edited by Jun Zhao, Frank van Harmelen, Jie Tang, Xianpei Han, Quan Wang, Xianyong Li.
Published: (2019)

Implementation and Application of Automata 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers / edited by Jan Holub, Jan Ždárek.
Published: (2007)

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings / edited by Michael Kaminski, Simone Martini.
Published: (2008)

Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / edited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales.
Published: (2014)

Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings / edited by Jacques Fleuriot, Dongming Wang, Jacques Calmet.
Published: (2018)

Learning Theory 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings / edited by Nader Bshouty, Claudio Gentile.
Published: (2007)

Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings / edited by Nicola Olivetti.
Published: (2007)

Machine Learning: ECML 2007 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings / edited by Joost N. Kok, Jacek Koronacki, Ramon Lopez de Mantaras, Stan Matwin, Dunja Mladenic.
Published: (2007)

Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings / edited by Kenji Suzuki, Mauricio Reyes, Tanveer Syeda-Mahmood, Ender Konukoglu, Ben Glocker, Roland Wiest, Yaniv Gur, Hayit Greenspan, Anant Madabhushi.
Published: (2019)

Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers / edited by Balder D. ten Cate, Henk W. Zeevat.
Published: (2007)

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / edited by Pedro Cabalar, Tran Cao Son.
Published: (2013)

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings / edited by Jacques Garrigue, Manuel Hermenegildo.
Published: (2008)

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings / edited by Marcello Balduccini, Tomi Janhunen.
Published: (2017)

Automated Deduction -- CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings / edited by Maria Paola Bonacina.
Published: (2013)

Advances in Case-Based Reasoning 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008, Proceedings / edited by Klaus-Dieter Althoff, Ralph Bergmann, Mirjam Minor, Alexandre Hanft.
Published: (2008)

Formal Concept Analysis 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings / edited by Cynthia Vera Glodeanu, Mehdi Kaytoue, Christian Sacarea.
Published: (2014)

Learning Classifier Systems International Workshops, IWLCS 2003-2005, Revised Selected Papers / edited by Tim Kovacs, Xavier Llorà, Keiki Takadama, Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson.
Published: (2007)