wir bieten...
Dekobild im Seitenkopf ISMLL
 
Courses in winter term 2007/2008 / Bachelor seminar Artificial Intelligence:
Abstract
Topics
Schedule

  1. Introduction.
    1. chapter 1/2 in Russell/Norvig
  2. A* as an example for informed/heuristic search. Speaker: Sascha El-Sharkawy
    1. chapter 3/4 in Russell/Norvig
  3. Satisfiability in Propositional Logic. Speaker: Katherina Meißner
    1. chapter 7 in Russell/Norvig
    2. [ee] Niklas Eén, Niklas Sörensson (2003): An Extensible SAT-solver In Enrico Giunchiglia and Armando Tacchella (eds.): Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers , Springer, pp. 502-518.
  4. Automated Plannig. Speaker: Kiotes Konstantinos
    1. section 2.3 und chapter 11 in Russell/Norvig
    2. [ee] Avrim Blum, Merrick L. Furst (1997): Fast Planning Through Planning Graph Analysis. Artif. Intell. 90/1-2, pp. 281-300.

      3. Further reading (optional):
    3. [ee] Henry A. Kautz, David A. McAllester, Bart Selman (1996): Encoding Plans in Propositional Logic. KR, pp. 374-384.
    4. [ee] Henry A. Kautz (2006): Deconstructing Planning as Satisfiability. In none (eds.): Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference , AAAI Press, Boston, MA, USA.
  5. Binary and Non-Binary Constraint Netzworks. Speaker: Marcel Thum
    1. [ee] Fahiem Bacchus, Peter van Beek (1998): On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems. AAAI/IAAI, pp. 310-318.
  6. Qualitative Temporal Reasoning. Speaker: Paul Dürre
    1. [ee] Peter van Beek, Dennis W. Manchak (1996): The Design and an Experimental Analysis of Algorithms for Temporal Reasoning Journal of Artificial Intelligence Research 4, pp. 1-18.
  7. Introduction to Decision and Utility Theory. Speaker: Konrad Nerger
    1. chapter 16 in Russell/Norvig
  8. Decisions in Uncertain Environments. Speaker: Andreas Wilkes
    1. chapter 17 in Russell/Norvig
  9. Strategic Games: Finding Nash Equilibria with Numerical Methods. Speaker: Stefan Schrieck
    1. Bernhard Nebel Spieltheorie Vorlesung an der Universität Freiburg 2005 [ee] .
    2. Dimitris Bertsimas, John N. Tsitsiklis (1997): Introduction to Linear Optimization .

      3. Further reading (optional):
    3. [ee] Vincent Conitzer, Tuomas Sandholm (2003): Complexity results about Nash equilibria Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, pp. 765-771.
  10. Extensive Games: Minimax and Computer Go. Speaker: Malte Klemke
    1. chapter 6 in Russell/Norvig
    2. [ee] Martin Müller (2002): Computer Go Artificial Intelligence 134, pp. 145-179.

      3. Further reading (optional):
    3. [ee] David Silver, Richard S. Sutton, Martin Müller 0003 (2007): Reinforcement Learning of Local Shape in the Game of Go. In , pp. 1053-1058.
  11. Text Classification with Naive Bayes. Speaker: Fabian Raschke
    1. [ee] Mehran Sahami, Susan Dumais, David Heckerman, Eric Horvitz (1998): A Bayesian Approach to Filtering Junk E-Mail Learning for Text Categorization: Papers from the 1998 Workshop, AAAI Technical Report WS-98-05, Madison, Wisconsin.
    2. [ee] Patrick Pantel, Dekang Lin (1998): SpamCop: A Spam Classification & Organization Program Learning for Text Categorization: Papers from the 1998 Workshop, AAAI Technical Report WS-98-05, Madison, Wisconsin.
  12. Named Entity Recognition. Speaker: Philine Brinkmann
    1. [ee] Bernardo Magnini, Matteo Negri, Roberto Prevete, Hristo Tanev (2002): A WordNet-based approach to Named Entities recognition COLING-02 on SEMANET, Association for Computational Linguistics, Morristown, NJ, USA, pp. 1-7.
  13. Reinforcement Learning for Robot Control. Speaker: Sebastian Schniedermeyer
    1. [ee] Tobias Latzke, Sven Behnke, Maren Bennewitz (2006): Imitative Reinforcement Learning for Soccer Playing Robots Proceedings of The 10th RoboCup International Symposium, Bremen.

      2. Further reading (optional):
    2. [ee] C.J.C.H. Watkins, P. Dayan (1992): Q-learning Machine learning 8, pp. 279-292.
  14. Spatial Classification for a Mobile Robot. Speaker: Özlem Can
    1. [ee] O. Martínez Mozos, C. Stachniss, W. Burgard (2005): Supervised Learning of Places from Range Data using AdaBoost Proc. of the IEEE Int. Conf. on Robotics & Automation (ICRA), Barcelona, Spain, pp. 1742-1747.