SAT 2005 Satisfiability Research in the Year 2005

SAT 2005 Satisfiability Research in the Year 2005

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Giunchiglia, Enrico
Άλλοι συγγραφείς:	Walsh, Toby
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Dordrecht Springer 2006
Θέματα:	Information theory Computer Science Theory of Computation Artificial Intelligence (incl. Robotics) Τεχνητή νοημοσύνη
Διαθέσιμο Online:	http://dx.doi.org/10.1007/978-1-4020-5571-3

Παρόμοια τεκμήρια

Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods
ανά: Nikolaev, Nikolay Y.
Έκδοση: (2006)

Linear Genetic Programming
ανά: Brameier, Markus F.
Έκδοση: (2007)

Game of Life Cellular Automata
ανά: Adamatzky, Andrew
Έκδοση: (2010)

Universal Artificial Intellegence Sequential Decisions Based on Algorithmic Probability
ανά: Hutter, Marcus
Έκδοση: (2005)

Bioinspired Computation in Combinatorial Optimization Algorithms and Their Computational Complexity
ανά: Neumann, Frank
Έκδοση: (2010)

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
ανά: Dovier, Agostino
Έκδοση: (2010)

Genetic Programming Theory and Practice III
ανά: Yu, Tina
Έκδοση: (2006)

Genetic Programming Theory and Practice VII
ανά: Riolo, Rick
Έκδοση: (2010)

Genetic Programming Theory and Practice II
ανά: OβReilly, Una-May
Έκδοση: (2005)

Theoretical Aspects of Local Search
ανά: Michiels, Wil
Έκδοση: (2007)

Cognitive Research A Formal Approach
ανά: Gergely, TamΓ's
Έκδοση: (2010)

Genetic Programming IV Routine Human-Competitive Machine Intelligence
ανά: Koza, John R.
Έκδοση: (2005)

Transactions on Rough Sets XI
ανά: Peters, James F
Έκδοση: (2010)

Transactions on Rough Sets XII
ανά: Peters, James F
Έκδοση: (2010)

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II
ανά: Hsu, Ching-Hsien
Έκδοση: (2010)

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I
ανά: Hsu, Ching-Hsien
Έκδοση: (2010)

Nanotechnology: Science and Computation
ανά: Chen, Junghuei
Έκδοση: (2006)

Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23β24, 2006, Santiago, Chile
ανά: Navarro, Gonzalo
Έκδοση: (2006)

Adaptive Motion of Animals and Machines
ανά: Kimura, Hiroshi
Έκδοση: (2006)

Artificial Intelligence in Theory and Practice IFIP 19th World Computer Congress, TC 12: IFIP AI 2006 Stream, August 21β24, 2006, Santiago, Chile
ανά: Bramer, Max
Έκδοση: (2006)

Professional Practice in Artificial Intelligence IFIP 19th World Computer Congress, TC 12: Professional Practice Stream, August 21β24, 2006, Santiago, Chile
ανά: Debenham, John
Έκδοση: (2006)

Adaptive Bidding in Single-Sided Auctions Under Uncertainty An Agent-based Approach in Market Engineering
ανά: Dinther, Clemens
Έκδοση: (2007)

Fuzzy Probabilities New Approach and Applications
ανά: Buckley, James J.
Έκδοση: (2005)

Research and Development in Intelligent Systems XXVI Incorporating Applications and Innovations in Intelligent Systems XVII
ανά: Bramer, Max
Έκδοση: (2010)

Robot Intelligence An Advanced Knowledge Processing Approach
ανά: Liu, Honghai
Έκδοση: (2010)

Intelligent Computer Mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
ανά: Autexier, Serge
Έκδοση: (2010)

Guide to Intelligent Data Analysis How to Intelligently Make Sense of Real Data
ανά: Berthold, Michael R.
Έκδοση: (2010)

Dependency Structures and Lexicalized Grammars An Algebraic Approach
ανά: Kuhlmann, Marco
Έκδοση: (2010)

Interfaces: Explorations in Logic, Language and Computation ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers
ανά: Icard, Thomas
Έκδοση: (2010)

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
ανά: Huang, De-Shuang
Έκδοση: (2010)

Uncertainty, Rationality, and Agency
ανά: Hoek, Wiebe
Έκδοση: (2006)

Organizational Principles for Multi-Agent Architectures
ανά: Aart, Chris
Έκδοση: (2005)

Qualitative Spatial Abstraction in Reinforcement Learning
ανά: Frommberger, Lutz
Έκδοση: (2010)

Agent-based Supply Network Event Management
ανά: Zimmermann, Roland
Έκδοση: (2006)

Classification and Modeling with Linguistic Information Granules Advanced Approaches to Linguistic Data Mining
ανά: Ishibuchi, Hisao
Έκδοση: (2005)

Precision Assembly Technologies for Mini and Micro Products Proceedings of the IFIP TC5 WG5.5 Third International Precision Assembly Seminar (IPAS β2006), 19β21 February 2006, Bad Hofgastein, Austria
ανά: Ratchev, Svetan
Έκδοση: (2006)

Artificial Intelligence Applications and Innovations 3rd IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI) 2006, June 7β9, 2006, Athens, Greece
ανά: Maglogiannis, Ilias
Έκδοση: (2006)

Constraint Satisfaction Techniques for Agent-Based Reasoning
ανά: Neagu, Nicoleta
Έκδοση: (2005)

On Probabilistic Conditional Independence Structures
ανά: StudenΓ½, Milan
Έκδοση: (2005)

Super-Recursive Algorithms
ανά: Burgin, Mark
Έκδοση: (2005)

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