Cargando…

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers /

This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifying the following conferences: the 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), the 22nd International Workshop on Functional and (Constra...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Hanus, Michael (Editor ), Rocha, Ricardo (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2014.
Edición:	1st ed. 2014.
Colección:	Lecture Notes in Artificial Intelligence, 8439
Temas:	Artificial intelligence. Computer programming. Computer science. Computer science-Mathematics. Artificial Intelligence. Programming Techniques. Theory of Computation. Mathematical Applications in Computer Science.
Acceso en línea:	Texto Completo

Ejemplares similares

Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers /
Publicado: (2013)

Applications of Declarative Programming and Knowledge Management 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers /
Publicado: (2011)

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

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

Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 13-15, 2013, Proceedings /
Publicado: (2013)

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

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

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

Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers /
Publicado: (2005)

Uncertainty Reasoning for the Semantic Web I ISWC International Workshop, URSW 2005-2007, Revised Selected and Invited Papers /
Publicado: (2008)

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

Applications of Evolutionary Computing EvoWorkshops 2007:EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTransLog, Valencia, Spain, April 11-13, 2007, Proceedings /
Publicado: (2007)

Applications of Declarative Programming and Knowledge Management 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers /
Publicado: (2009)

Declarative Programming for Knowledge Management 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers /
Publicado: (2006)

Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers /
Publicado: (2006)

Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers /
Publicado: (2013)

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog /
Publicado: (2008)

Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers /
Publicado: (2011)

Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers /
Publicado: (2012)

Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers /
Publicado: (2010)

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

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

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

Genetic Programming Theory and Practice X
Publicado: (2013)

Genetic Programming Theory and Practice XI
Publicado: (2014)

Genetic Programming Theory and Practice V
Publicado: (2008)

Genetic Programming Theory and Practice VIII
Publicado: (2011)

Genetic Programming Theory and Practice VII
Publicado: (2010)

Genetic Programming Theory and Practice IX
Publicado: (2011)

Genetic Programming Theory and Practice III
Publicado: (2006)

Algorithmic Decision Theory 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings /
Publicado: (2015)

Logic and Its Applications Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings /
Publicado: (2011)

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

The Challenge of Anticipation A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems /
Publicado: (2008)

Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers /
Publicado: (2009)

Algorithmic Decision Theory Second International Conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011. Proceedings /
Publicado: (2011)

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

Automated Reasoning and Mathematics Essays in Memory of William W. McCune /
Publicado: (2013)

Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers /
Publicado: (2013)

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

Cannot write session to /tmp/vufind_sessions/sess_9pnnlflc67leeq97h1k0er9jtb