Na této stránce budou postupně zveřejňována témata, ze kterých je možné vybírat referáty na seminář. Ke každému tématickému okruhu jsou uvedeny články, ze kterých je možné čerpat. Zpravidla se jedná vždy o základní články či knihy k danému tématu. Seznam bude postupně rozšiřován. Náměty na zařazení vhodných článků k jednotlivým tématů jsou vítány.

Články k tématům zde nejsou on-line, protože by to zřejmě odporovalo autorským právům. Avšak všechny články je možné vyhledat a volně stáhnout (pozn.: z fakultních počítačů je přístup i do většiny on-line časopisů, které volně přístupné nejsou).

---

Řešení úloh
Prohledávání stavového prostoru, informované prohledávání, heuristiky, genetické programování, databáze vzorů

• Weixiong Zhang, Rina Dechter, Richard E. Korf: Heuristic search in artificial intelligence, Artificial Intelligence, Volume 129(1-2), pp. 1-4, Elsevier, 2001.
• Ariel Felner, Richard E. Korf, Ram Meshulam, Robert C. Holte: Compressed Pattern Databases, Journal of Artificial Intelligence Research (JAIR), Volume 30, pp. 213-247, AAAI Press, 2007.
• David Furcy, Sven Koenig: Limited Discrepancy Beam Search, Proceedings of the Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 125-131, IJCAI Conference, 2005.
• Sven Koenig, Maxim Likhachev, Yaxin Liu, David Furcy: Incremental Heuristic Search in AI, AI Magazine, Volume 25(2), pp. 99-112, AAAI Press, 2004.
• Uzi Zahavi, Ariel Felner, Robert Holte, Jonathan Schaeffer: Dual Search in Permutation State Spaces, Proceedings of he 21st National Conference on Artificial Intelligence (AAAI 2006), AAAI Press.
• John R. Koza, Forrest H. Bennett III, Oscar Stiffelman: Genetic Programming as a Darwinian Invention Machine, Proceedings of Genetic Programming, Second European Workshop (EuroGP 1999), LNCS 1598, pp. 93-108, Springer, 1999.
• John R. Koza, David Andre: Evolution of Iteration in Genetic Programming, Proceedings of the 5th Annual Conference on Evolutionary Programming (EP 1996), pp. 469-478, MIT Press, 1996.
• Richard E. Korf: Finding Optimal Solutions to Rubik's Cube Using Pattern Databases, Proceedings of the 14th National Conference on Artificial Intelligence (AAAI 1997), pp. 700-705, AAAI Press, 1997.
• Richard E. Korf: Improved Limited Discrepancy Search, Proceedings of the 13th National Conference on Artificial Intelligence (AAAI 1996), pp. 286-291, AAAI Press, 1996.
• Richard E. Korf: Linear-Space Best-First Search, Artificial Intelligence, Volume 62 (1), pp. 41-78, Elsevier, 1993.
• Richard E. Korf, Peter Schultze: Large-Scale Parallel Breadth-First Search, Proceedings 20th National Conference on Artificial Intelligence (AAAI 2005), pp. 1380-1385, AAAI Press, 2005.

Řešení her
Hry alespoň dvou hráčů s protichůdnými zájmy, prohledávání stavového prostoru hry, šachy

• Dana S. Nau: AI Game-Playing Techniques, AI Magazine, Volume 20(1), pp. 117-118, AAAI Press, 1999.
• Donald Michie: Game Mastery and Intelligence, Machine Intelligence, Volume 14, pp. 3-28, Oxford University Press, 1995.
• Jonathan Schaeffer, Yngvi Björnsson, Neil Burch, Akihiro Kishimoto, Martin Müller, Robert Lake, Paul Lu, Steve Sutphen: Solving Checkers, Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 292-297, Professional Book Center, 2005.
• Ryan Hayward, Yngvi Björnsson, Michael Johanson, Morgan Kan, Nathan Po, Jack van Rijswijck: Solving 7x7 Hex with domination, fill-in, and virtual connections, Theoretical Computer Science, Volume 349(2), pp. 123-139, Elsevier, 2005.
• Richard E. Korf: Generalized Game Trees, Proceedings of the 11th International Joint Conference on Artificial Intelligence (IJCAI 1989), pp. 328-333, Morgan Kaufmann, 1989.
• Nathan R. Sturtevant: Current Challenges in Multi-player Game Search, Proceedings of Computers and Games, 4th International Conference (CG 2004), LNCS 3846, pp. 285-300, Springer, 2004.
• Murray Campbell, A. Joseph Hoane Jr., Feng-hsiung Hsu: Deep Blue, Artificial Intelligence, Volume 134(1-2), pp. 57-83, Elsevier, 2002.

Splňování omezujících podmínek
Konzistenční techniky, globální podmínky, odstraňování symetrií, pokročilé prohledávací strategie

• Romuald Debruyne, Christian Bessiere: Domain Filtering Consistencies, Journal of Artificial Intelligence Research (JAIR), Volume 14 (1), pp. 205-230, AAAI Press, 2001.
• Christian Bessiere, Marie-Odile Cordier: Arc-Consistency and Arc-Consistency Again, Proceedings of the 11th National Conference on Artificial Intelligence (AAAI 1993), pp. 108-113, AAAI Press, 1993.
• Jean-Charles Régin: A Filtering Algorithm for Constraints of Difference in CSPs, Proceedings of the 12th National Conference on Artificial intelligence (AAAI 1994), pp. 362-367, AAAI Press, 1994.
• Patrick Prosser, Kostas Stergiou, Toby Walsh: Singleton Consistencies, Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming (CP 2002), pp. 353-368, Springer-Verlag, 2002.
• Toby Walsh: Breaking value symmetry, Proceedings of the 23rd National Conference on Artificial intelligence (AAAI 2008), pp. 1585-1588, AAAI Press, 2008.
• Claude-Guy Quimper, Toby Walsh: Decompositions of grammar constraints, Proceedings of the 23rd National Conference on Artificial intelligence (AAAI 2008), pp. 1567-1570, AAAI Press, 2008.
• Matthew L. Ginsberg: Dynamic Backtracking, Journal of Artificial Intelligence Research (JAIR), Volume 1, pp. 25-46, AAAI Press, 1993.

Logika
Výroková logika, logika prvního řádu, splňování výrokových formulí (SAT), SAT řešiče, speciální tvary formulí (Hornovské, 3-SAT, ...), QBF, automatické dokazování, SAT Competition, SAT Race

• William F. Dowling, Jean H. Gallier: Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae, Journal of Logic Programming, Volume 1 (3), pp. 267-284, Association for Logic Programming, 1984.
• Lintao Zhang, Sharad Malik: The Quest for Efficient Boolean Satisfiability Solvers, Proceedings of the 14th International Conference on Computer Aided Verification (CAV 2002), pp. 17-36, Springer-Verlag, 2002.
• Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik: Chaff: Engineering an Efficient SAT Solver, Proceedings of the 38th Conference on Design Automation (DAC 2001), pp. 530-535, IEEE Press, 2001.
• Carla P. Gomes, Bart Selman, Nuno Crato, Henry A. Kautz: Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems, Journal of Automated Reasoning, Volume 24 (1-2), pp. 67 - 100, Springer-Verlag, 2000.
• Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kröning, Christoph M. Wintersteiger: A First Step Towards a Unified Proof Checker for QBF, Proceedings of the 10th international conference on Theory and applications of satisfiability testing (SAT 2007), pp. 201-214, Springer-Verlag, 2007.
• A. Braunstein, M. Mézard, R. Zecchina: Survey propagation: An algorithm for satisfiability, Random Structures and Algorithms, Volume 27 (2), pp. 201-226, John Wiley and Sons.

Reprezentace znalostí
Datové struktury pro reprezentaci zalostí, dobývání znalostí, sémantické sítě, sémantický web, sociální sítě

• Drew V. McDermott,D. B. Lenat, R. V. Guha: Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project, Artificial Intelligence, Volume 61 (1), pp. 53-63, Elsevier, 1993.
• Johan de Kleer: A View on Qualitative Physics, Artificial intelligence in perspective, pp. 105-114, MIT Press, 1994.
• Aris Anagnostopoulos, Ravi Kumar, Mohammad Mahdian: Influence and correlation in social networks, Proceeding of the 14th ACM SIGKDD international conference on Knowledge discovery and data mining (KDD 2008), pp. 7-15, ACM, 2008.
• Raymond Kosala, Hendrik Blockeel: Web mining research: a survey, ACM SIGKDD Explorations Newsletter, pp. 1-15, ACM, 2000.
• Ronald J. Brachman, Tej Anand: The Process of Knowledge Discovery in Databases, Advances in knowledge discovery and data mining, pp. 37-57, AAAI Press, 1996.

Plánování
Formální popis plánovací úlohy, plánovací algoritmy, IPC (International Planning Competition), modelovací jazyk PDDL

• Richard Fikes: STRIPS, A Retrospective, Artificial Intelligence, Volume 59 (1-2), pp. 227-232, 1993.
• Henry A. Kautz, Bart Selman: Planning as Satisfiability, Proceedings of the 10th European Conference on Artificial Intelligence (ECAI 1992) pp. 359-363, John Wiley and Sons, 1992.
• Avrim Blum, Merrick L. Furst: Fast Planning Through Planning Graph Analysis, Proceedings of the 14th international joint conference on Artificial intelligence, pp. 1636-1642, Morgan Kaufmann Publishers, 1995.
• Malte Helmert: Complexity results for standard benchmark domains in planning, Artificial Intelligence, Volume 143 (2), pp. 219-262, Elsevier, 2003.
• Minh Binh Do, Subbarao Kambhampati: Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP, Artificial Intelligence, Volume 132 (2), pp. 151 - 182, Elsevier, 2001.
• Maria Fox, Derek Long: PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains, Journal of Artificial Intelligence Research, Volume 20 (1), pp. 61-124, AAAI Press, 2003.

Neurčitost v umělé inteligenci
Pravděpodobnostní modely, bayesovské sítě, Markovské rozhodovací procesy (MDP)

• Carlos Guestrin, Milos Hauskrecht, Branislav Kveton: Solving Factored MDPs with Continuous and Discrete Variables, Proceedings of the 20th conference on Uncertainty in artificial intelligence (UAI 2004), pp. 235-242, AUAI Press Arlington, 2004.
• Borja Calvo, Pedro Larranaga, José Antonio Lozano: Learning Bayesian classifiers from positive and unlabeled examples, Pattern Recognition Letters, Volume 28 (16), pp. 2375-2384, Elsevier, 2007.

Učení
Strojové učení, rozhodovací stromy, učení rozhodovacích stromů, induktivní logické programování

• Kenneth Dwyer, Robert Holte: Decision Tree Instability and Active Learning, Proceedings of the 18th European conference on Machine Learning (ECML 2007), pp. 128-139, Springer-Verlag, 2007.
• Marcel Turcotte, Stephen Muggleton, Michael J. E. Sternberg: Use of Inductive Logic Programming to Learn Principles of Protein Structure, Electronic Transactions on Artificial Intelligence, pp. 119-124, ETAI, 2000.

Zpracování přirozeného jazyka
Porozumění přirozenému jazyku, automatický překlad

• Christopher D. Manning, Hinrich Schütze: Foundations of Statistical Natural Language Processing, MIT Press, 1999.

Robotika
Robotický fotbal, navigace robotů

• Raquel Ros, Josep Lluís Arcos, Ramon López de Mántaras, Manuela M. Veloso: A case-based approach for coordinated action selection in robot soccer, Artificial Intelligence, Volume 173 (9-10), pp. 1014-1039, Elsevier, 2009.
• Colin McMillen, Manuela M. Veloso: Distributed, Play-Based Coordination for Robot Teams in Dynamic Environments, Proceedings of RoboCup 2006: Robot Soccer World Cup X, pp. 483-490, Springer-Verlag, 2007.

Počítačové vidění
Algoritmy počítačového vidění, aplikace

• David Marr: Vision: a Computational Investigation into the Human Representation and Processing of Visual Information, W.H. Freeman and Company, 1982.
• Milan Sonka, Vaclav Hlavac, Roger Boyle: Image Processing, Analysis, and Machine Vision, Thomson-Engineering, 2007.

Neuronové sítě
Učení neuronových sítí, modely neuronových sítí

• Jiří Šíma, Roman Neruda: Teoretické otázky neuronových sítí, MATFYZPRESS, 1996.

Multi-agentní systémy
Strategie dojednávání kooperace, multi-robotické systémy

• Michael Wooldridge: An Introduction to MultiAgent Systems (second edition), John Wiley and Sons, 2009.

Umělá inteligence v kosmu
Marsovské rovery, sonda Deep Space 1, sonda Cassini–Huygens

• Rebecca Castano, Kiri Wagstaff, Steve A. Chien, Timothy M. Stough, Benyang Tang: On-board analysis of uncalibrated data for a spacecraft at mars, Proceedings of the 13th ACM SIGKDD international conference on Knowledge discovery and data mining (KDD 2007), pp. 922-930, ACM, 2007.
• David Joslin, Jeremy Frank, Ari K. Jónsson, David E. Smith: Simulation-based planning for planetary rover experiments, Proceedings of the 37th conference on Winter simulation (WCS 2005), pp. 1049-1058, Winter Simulation Conference, 2005.

Umělá inteligence a armáda
Autonomní bojové letouny

• Kwangjin Yang, Seng Keat Gan, Salah Sukkarieh: An Efficient Path Planning and Control Algorithm for RUAV's in Unknown and Cluttered Environments, Journal of Intelligent and Robotic Systems, Volume 57 (1-4), pp. 101-122, Kluwer Academic Publishers, 2010.

Filozofické pojetí umělé inteligence
Důsledky existence inteligentních strojů

• Raymond Kurzweil: The Age of Intelligent Machines, MIT Press, 1992.
• Raymond Kurzweil: The Age of Spiritual Machines: When Computers Exceed Human Intelligence, Penguin, 2000.