Cargando…

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /

This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. The 29 long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Calimeri, Francesco (Editor ), Ianni, Giovambattista (Editor ), Truszczynski, Miroslaw (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2015.
Edición:	1st ed. 2015.
Colección:	Lecture Notes in Artificial Intelligence, 9345
Temas:	Artificial intelligence. Computer science-Mathematics. Discrete mathematics. Computer science. Machine theory. Software engineering. Computer programming. Artificial Intelligence. Discrete Mathematics in Computer Science. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory. Software Engineering. Programming Techniques.
Acceso en línea:	Texto Completo

Ejemplares similares

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
Publicado: (2013)

Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings /
Publicado: (2011)

Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings /
Publicado: (2009)

Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
Publicado: (2015)

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings /
Publicado: (2013)

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
Publicado: (2015)

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
Publicado: (2013)

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /
Publicado: (2014)

Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers /
Publicado: (2012)

Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings /
Publicado: (2008)

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers /
Publicado: (2016)

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
Publicado: (2010)

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
Publicado: (2015)

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings /
Publicado: (2005)

Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /
Publicado: (2015)

Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers /
Publicado: (2011)

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /
Publicado: (2013)

Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings /
Publicado: (2015)

Conceptual Structures: Leveraging Semantic Technologies 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009, Proceedings /
Publicado: (2009)

Formal Concept Analysis 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings /
Publicado: (2015)

Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings /
Publicado: (2012)

Formal Concept Analysis Foundations and Applications /
Publicado: (2005)

Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings /
Publicado: (2005)

Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /
Publicado: (2015)

Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings /
Publicado: (2014)

Conceptual Structures: Knowledge Architectures for Smart Applications 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Proceedings /
Publicado: (2007)

Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers /
Publicado: (2011)

Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers /
Publicado: (2014)

Ludics, Dialogue and Interaction PRELUDE Project - 2006-2009. Revised Selected Papers /
Publicado: (2011)

Conceptual Structures: Inspiration and Application 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings /
Publicado: (2006)

Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings /
Publicado: (2015)

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings /
Publicado: (2015)

Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings /
Publicado: (2006)

Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings /
Publicado: (2009)

Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings /
Publicado: (2008)

Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings /
Publicado: (2007)

Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings /
Publicado: (2012)

Formal Concept Analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011, Proceedings /
Publicado: (2011)

Graph Transformations 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings /
Publicado: (2010)

Scalable Uncertainty Management Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009, Proceedings /
Publicado: (2009)

Cannot write session to /tmp/vufind_sessions/sess_5ua9bnveghjbubt6upbqqqd7ju