Skip to main content Skip to main navigation

Publications

Displaying results 11 to 13 of 13.
  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 …