Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 31 to 40 of 572.
  1. Scott Sanner; Kristian Kersting

    Symbolic Dynamic Programming for First-order POMDPs

    In: Maria Fox; David Poole (Hrsg.). Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial …

  2. Kristian Kersting; Youssef El Massaoudi; Fabian Hadiji; Babak Ahmadi

    Informed Lifting for Message-Passing

    In: Maria Fox; David Poole (Hrsg.). Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial …

  3. Fabian Hadiji; Kristian Kersting; Babak Ahmadi

    Lifted Message Passing for Satisfiability

    In: Statistical Relational Artificial Intelligence, Papers from the 2010 AAAI Workshop. AAAI Conference on Artificial Intelligence (AAAI-2010), July …

  4. David W. Aha; Mark S. Boddy; Vadim Bulitko; Artur S. d'Avila Garcez; Prashant Doshi; Stefan Edelkamp; Christopher W. Geib; Piotr J. Gmytrasiewicz; Robert P. Goldman; Pascal Hitzler; Charles L. Isbell Jr.; Darsana P. Josyula; Leslie Pack Kaelbling; Kristian Kersting; Maithilee Kunda; Luís C. Lamb; Bhaskara Marthi; Keith McGreggor; Vivi Nastase; Gregory M. Provan; Anita Raja; Ashwin Ram; Mark O. Riedl; Stuart Russell; Ashish Sabharwal; Jan-Georg Smaus; Gita Sukthankar; Karl Tuyls; Ron van der Meyden; Alon Y. Halevy; Lilyana Mihalkova; Sriraam Natarajan

    Reports of the AAAI 2010 Conference Workshops

    In: AI Magazine, Vol. 31, No. 4, Pages 95-108, American Association for Artificial Intelligence, 2010.

  5. Eric Lo; Carsten Binnig; Donald Kossmann; M. Tamer Özsu; Wing-Kai Hon

    A framework for testing DBMS features

    In: The VLDB Journal, Vol. 19, No. 2, Pages 203-230, Springer, 2010.

  6. D. Tsovaltzi; Bruce McLaren; Erica Melis; A.-K. Meyer; Michael Dietrich; Giorgi Goguadze

    Learning from Erroneous Examples

    In: V. Aleven; J. Kay; J. Mostow (Hrsg.). Proceedigns of Intelligent Tutoring Systems. International Conference on Intelligent Tutoring Systems (ITS), …

  7. F. Loll; Oliver Scheuer; Bruce M. McLaren; N. Pinkwart

    Learning to argue using computers; A view from teachers, researchers, and system developers.

    In: V. Aleven; J. Kay; J. Mostow (Hrsg.). Lecture Notes in Computer Science,. International Conference on Intelligent Tutoring Systems (ITS-10), Pages …

  8. F. Loll; Oliver. Scheuer; Bruce M. McLaren; N. Pinkwart

    How can students learn to argue from computer-based systems? A survey of teachers, researchers, and system developers.

    In: M. Wolpers; P. A. Kirschner; M. Scheffel; S. Lindstaedt; V. Dimitrova (Hrsg.). Proceedings of the 5th European Conference on Technology Enhanced …

  9. D. Jednoralski; Erica Melis; Sergey Sosnovsky; Carsten Ullrich

    Gap Detection in Web-based Adaptive Educational Systems

    In: o.A. (Hrsg.). Proceedings of the 9th International Conference on Web-based Learning. International Conference on Web-based Learning (ICWL), …

  10. Christoph Igel; Roberta Sturm

    Utilization of expert online retrieval tools: an exploration of barriers and added values.

    In: G. Kreuzberger; A. Lunzer; R. Kaschek (Hrsg.). Interdisciplinary Advances in Adaptive and Intelligent Assistant Systems: Concepts, Techniques, …