Cargando…

Constraint Solving and Planning with Picat

This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autores principales:	Zhou, Neng-Fa (Autor), Kjellerstrand, Håkan (Autor), Fruhman, Jonathan (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2015.
Edición:	1st ed. 2015.
Colección:	SpringerBriefs in Intelligent Systems, Artificial Intelligence, Multiagent Systems, and Cognitive Robotics,
Temas:	Artificial intelligence. Computer science. Data mining. Artificial Intelligence. Theory of Computation. Data Mining and Knowledge Discovery.
Acceso en línea:	Texto Completo

Ejemplares similares

Interpretability of Computational Intelligence-Based Regression Models
por: Kenesei, Tamás, et al.
Publicado: (2015)

Introduction to Artificial Intelligence
por: Flasiński, Mariusz
Publicado: (2016)

Computational Models of Motivation for Game-Playing Agents
por: Merrick, Kathryn E.
Publicado: (2016)

Analysis of Rare Categories
por: He, Jingrui
Publicado: (2012)

Knowledge Transfer between Computer Vision and Text Mining Similarity-based Learning Approaches /
por: Ionescu, Radu Tudor, et al.
Publicado: (2016)

Soft Computing for Image and Multimedia Data Processing
por: Bhattacharyya, Siddhartha, et al.
Publicado: (2013)

Data Mining and Constraint Programming Foundations of a Cross-Disciplinary Approach /
Publicado: (2016)

Multiobjective Genetic Algorithms for Clustering Applications in Data Mining and Bioinformatics /
por: Maulik, Ujjwal, et al.
Publicado: (2011)

Learning Classifier Systems International Workshops, IWLCS 2003-2005, Revised Selected Papers /
Publicado: (2007)

Multi-disciplinary Trends in Artificial Intelligence 7th International Workshop, MIWAI 2013, Krabi, Thailand, December 9-11, 2013, Proceedings /
Publicado: (2013)

Formal Concept Analysis 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings /
Publicado: (2014)

Transactions on Rough Sets IX
Publicado: (2008)

Statistical Language and Speech Processing Third International Conference, SLSP 2015, Budapest, Hungary, November 24-26, 2015, Proceedings /
Publicado: (2015)

Algorithmic Learning Theory 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedings /
Publicado: (2015)

Algorithmic Learning Theory 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014, Proceedings /
Publicado: (2014)

Algorithmic Learning Theory 27th International Conference, ALT 2016, Bari, Italy, October 19-21, 2016, Proceedings /
Publicado: (2016)

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 14th International Conference, RSFDGrC 2013, Halifax, NS, Canada, October 11-14, 2013. Proceedings /
Publicado: (2013)

Computer Vision Metrics Textbook Edition /
por: Krig, Scott
Publicado: (2016)

Research and Development in Intelligent Systems XXXII Incorporating Applications and Innovations in Intelligent Systems XXIII /
Publicado: (2015)

Practical Approaches to Causal Relationship Exploration
por: Li, Jiuyong, et al.
Publicado: (2015)

Agents and Data Mining Interaction 9th International Workshop, ADMI 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers /
Publicado: (2014)

Persuasive Recommender Systems Conceptual Background and Implications /
por: Yoo, Kyung-Hyan, et al.
Publicado: (2013)

Preference Learning
Publicado: (2011)

Research and Development in Intelligent Systems XXXI Incorporating Applications and Innovations in Intelligent Systems XXII /
Publicado: (2014)

Research and Development in Intelligent Systems XXIX Incorporating Applications and Innovations in Intelligent Systems XX Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence /
Publicado: (2012)

Research and Development in Intelligent Systems XXX Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence /
Publicado: (2013)

Research and Development in Intelligent Systems XXXIII Incorporating Applications and Innovations in Intelligent Systems XXIV /
Publicado: (2016)

Research and Development in Intelligent Systems XXVII Incorporating Applications and Innovations in Intelligent Systems XVIII Proceedings of AI-2010, The Thirtieth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence /
Publicado: (2011)

Algorithmic Learning Theory 18th International Conference, ALT 2007, Sendai, Japan, October 1-4, 2007, Proceedings /
Publicado: (2007)

Agents and Data Mining Interaction 10th International Workshop, ADMI 2014, Paris, France, May 5-9, 2014, Revised Selected Papers /
Publicado: (2015)

Knowledge Graph and Semantic Computing: Semantic, Knowledge, and Linked Big Data First China Conference, CCKS 2016, Beijing, China, September 19-22, 2016, Revised Selected Papers /
Publicado: (2016)

Trends and Applications in Software Engineering Proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015 /
Publicado: (2016)

Computational Collective Intelligence. Technologies and Applications 5th International Conference, ICCCI 2013, Craiova, Romania, September 11-13, 2013, Proceedings /
Publicado: (2013)

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings /
Publicado: (2008)

The Elements of Statistical Learning Data Mining, Inference, and Prediction, Second Edition /
por: Hastie, Trevor, et al.
Publicado: (2009)

Abstraction in Artificial Intelligence and Complex Systems
por: Saitta, Lorenza, et al.
Publicado: (2013)

Feature Selection for High-Dimensional Data
por: Bolón-Canedo, Verónica, et al.
Publicado: (2015)

Integrated Uncertainty in Knowledge Modelling and Decision Making International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013, Proceedings /
Publicado: (2013)

Machine Learning and Cybernetics 13th International Conference, Lanzhou, China, July 13-16, 2014. Proceedings /
Publicado: (2014)

Transactions on Rough Sets VI Commemorating Life and Work of Zdislaw Pawlak, Part I /
Publicado: (2007)

Cannot write session to /tmp/vufind_sessions/sess_ht5m83ars0n6hi8a7fnj3cssb0