Azala

Bridging Constraint Satisfaction and Boolean Satisfiability

This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers. The author also gives theoretica...

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Petke, Justyna. (Egilea, http://id.loc.gov/vocabulary/relators/aut)
Erakunde egilea:	SpringerLink (Online service)
Formatua:	Baliabide elektronikoa eBook
Hizkuntza:	English
Argitaratua:	Cham : Springer International Publishing : Imprint: Springer, 2015.
Edizioa:	1st ed. 2015.
Saila:	Artificial Intelligence: Foundations, Theory, and Algorithms,
Gaiak:	Artificial intelligence. Computers. Artificial Intelligence. Theory of Computation.
Sarrera elektronikoa:	https://doi.org/10.1007/978-3-319-21810-6
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Antzeko izenburuak

Constraint Satisfaction Techniques for Agent-Based Reasoning
nork: Neagu, Nicoleta., et al.
Argitaratua: (2005)

Constraint Solving and Planning with Picat
nork: Zhou, Neng-Fa., et al.
Argitaratua: (2015)

Linear Genetic Programming
nork: Brameier, Markus F., et al.
Argitaratua: (2007)

Theory and Applications of Formal Argumentation Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers /
Argitaratua: (2014)

Robust Intelligent Systems
Argitaratua: (2008)

Multiparadigm Constraint Programming Languages
nork: Hofstedt, Petra., et al.
Argitaratua: (2011)

Computer Games Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013, Revised Selected Papers /
Argitaratua: (2014)

Computer Games Third Workshop on Computer Games, CGW 2014, Held in Conjunction with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18, 2014, Revised Selected Papers /
Argitaratua: (2014)

New Contributions in Information Systems and Technologies Volume 1 /
Argitaratua: (2015)

Portfolio Analysis From Probabilistic to Credibilistic and Uncertain Approaches /
nork: Huang, Xiaoxia., et al.
Argitaratua: (2010)

Advances in Machine Learning I Dedicated to the Memory of Professor Ryszard S. Michalski /
Argitaratua: (2010)

Tree-Structure based Hybrid Computational Intelligence Theoretical Foundations and Applications /
nork: Chen, Yuehui., et al.
Argitaratua: (2010)

Knowledge-Free and Learning-Based Methods in Intelligent Game Playing
nork: Mandziuk, Jacek., et al.
Argitaratua: (2010)

Self-organising Software From Natural to Artificial Adaptation /
Argitaratua: (2011)

Advances in Machine Learning II Dedicated to the memory of Professor Ryszard S. Michalski /
Argitaratua: (2010)

Handbook of Genetic Programming Applications
Argitaratua: (2015)

Markov Decision Processes and the Belief-Desire-Intention Model Bridging the Gap for Autonomous Agents /
nork: Simari, Gerardo I., et al.
Argitaratua: (2011)

Industrial Applications of Holonic and Multi-Agent Systems 7th International Conference, HoloMAS 2015, Valencia, Spain, September 2-3, 2015, Proceedings /
Argitaratua: (2015)

Research and Development in Intelligent Systems XXIV Proceedings of AI-2007, The Twenty-seventh SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence /
Argitaratua: (2008)

Research and Development in Intelligent Systems XXII Proceedingas of AI-2005, the Twenty-fifth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence /
Argitaratua: (2006)

PRICAI 2006: Trends in Artificial Intelligence 9th Pacific Rim International Conference on Artificial Intelligence, Guilin, China, August 7-11, 2006, Proceedings /
Argitaratua: (2006)

Toward Artificial Sapience Principles and Methods for Wise Systems /
Argitaratua: (2008)

Professional Practice in Artificial Intelligence IFIP 19th World Computer Congress, TC-12: Professional Practice Stream, August 21-24, 2006, Santiago, Chile /
Argitaratua: (2006)

Intelligent Information Processing IV 5th IFIP International Conference on Intelligent Information Processing, October 19-22, 2008, Beijing, China /
Argitaratua: (2008)

Applications and Innovations in Intelligent Systems XII Proceedings of AI-2004, the Twenty-fourth SGAI International Conference on Innhovative Techniques and Applications of Artificial Intelligence /
Argitaratua: (2005)

Artificial Intelligence in Theory and Practice IFIP 19th World Computer Congress, TC 12: IFIP AI 2006 Stream, August 21-24, 2006, Santiago, Chile /
Argitaratua: (2006)

Militarized Conflict Modeling Using Computational Intelligence
nork: Marwala, Tshilidzi., et al.
Argitaratua: (2011)

Unsupervised Process Monitoring and Fault Diagnosis with Machine Learning Methods
nork: Aldrich, Chris., et al.
Argitaratua: (2013)

Modelling and Controlling of Behaviour for Autonomous Mobile Robots
nork: Skubch, Hendrik., et al.
Argitaratua: (2013)

INTELLIGENCE FOR NONLINEAR DYNAMICS AND SYNCHRONISATION
nork: Bouchachia, Abdelhamid., et al.
Argitaratua: (2010)

Intelligent Computing Everywhere
Argitaratua: (2007)

Coordination, Organizations, Institutions, and Norms in Agent Systems IX COIN 2013 International Workshops, COIN@AAMAS, St. Paul, MN, USA, May 6, 2013, COIN@PRIMA, Dunedin, New Zealand, December 3, 2013, Revised Selected Papers /
Argitaratua: (2014)

Advanced Intelligent Computing Theories and Applications: With Aspects of Artificial Intelligence 6th International Conference on Intelligent Computing, ICIC 2010, Changsha, China, August 18-21, 2010, Proceedings /
Argitaratua: (2010)

Adaptive Motion of Animals and Machines
Argitaratua: (2006)

Research and Development in Intelligent Systems XXIII Proceedings of AI-2006, The Twenty-sixth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence /
Argitaratua: (2007)

PRICAI 2008: Trends in Artificial Intelligence 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008, Proceedings /
Argitaratua: (2008)

Introduction to Artificial Intelligence
nork: Ertel, Wolfgang., et al.
Argitaratua: (2011)

Biological and Artificial Intelligence Environments
Argitaratua: (2005)

Efficient Learning Machines Theories, Concepts, and Applications for Engineers and System Designers /
nork: Awad, Mariette., et al.
Argitaratua: (2015)

ENACTION, EMBODIMENT, EVOLUTIONARY ROBOTICS Simulation Models for a Post-Cognitivist Science of Mind /
nork: Rohde, Marieke., et al.
Argitaratua: (2010)