Scalable Uncertainty Management Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings /

Scalable Uncertainty Management Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings /

This book constitutes the refereed proceedings of the Second International Conference on Scalable Uncertainty Management, SUM 2008, held in Naples, Italy, in Oktober 2008. The 27 revised full papers presented together with the extended abstracts of 3 invited talks/tutorials were carefully reviewed a...

Full description

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Greco, Sergio (Editor), Lukasiewicz, Thomas (Editor)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Series:	Lecture Notes in Computer Science, 5291
Subjects:	Computer science. Programming languages (Electronic computers). Mathematical logic. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics). Programming Languages, Compilers, Interpreters. Mathematical Logic and Formal Languages.
Online Access:	Full Text via HEAL-Link

Similar Items

Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /
Published: (2008)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings /
Published: (2009)

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

Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings /
Published: (2008)

Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
Published: (2008)

Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /
Published: (2009)

Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings /
Published: (2008)

Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedings /
Published: (2006)

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /
Published: (2008)

Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /
Published: (2015)

Constraint Solving and Language Processing First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers /
Published: (2005)

Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers /
Published: (2011)

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings /
Published: (2006)

Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
Published: (2009)

New Directions in Logic, Language and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers /
Published: (2012)

Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers /
Published: (2009)

Theoretical Aspects of Computing – ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings /
Published: (2017)

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings /
Published: (2006)

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings /
Published: (2005)

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
Published: (2007)

MATLAB Deep Learning With Machine Learning, Neural Networks and Artificial Intelligence /
by: Kim, Phil
Published: (2017)

Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings /
Published: (2006)

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /
Published: (2011)

Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /
Published: (2006)

Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings /
Published: (2005)

Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /
Published: (2007)

Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
Published: (2007)

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings /
Published: (2008)

Deductive Software Verification – The KeY Book From Theory to Practice /
Published: (2016)

Compiler Construction 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings /
Published: (2004)

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings /
Published: (2007)

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /
Published: (2010)

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
Published: (2005)

Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings /
Published: (2012)

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Published: (2013)

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino /
Published: (2007)

Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings /
Published: (2011)

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /
Published: (2016)

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /
Published: (2010)

Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
Published: (2015)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_hivmd4svcschhb80lnds4ku0tr