Publikationen

Zeige Ergebnisse 11 bis 13 von 13.

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 Intelligence (AAAI-2010), July 11-15, Atlanta, Georgia, USA, Pages 1140-1146, AAAI Press, 2010.
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 Intelligence (AAAI-2010), July 11-15, Atlanta, Georgia, USA, Pages 1181-1186, AAAI Press, 2010.
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 12, Atlanta, Georgia, USA, AAAI Technical Report, Vol. WS-10-06, AAAI, 2010.