Michael Haimes

Publication List Details

Period

2008 - 2008

Number

2

Co-Authors

First-Order Variable (2008)

Kristian Kersting, Brian Milch, Luke S. Zettlemoyer, Michael Haimes, Leslie Pack Kaelbling

do not scale well to large populations • Lifted inference idea: • Many individuals are interchangeable in model • Exploit that symmetry to speed up inference

Reasoning about Large Populations with Lifted Probabilistic Inference (2008)

Kristian Kersting, Brian Milch, Luke S. Zettlemoyer, Michael Haimes, Leslie Pack Kaelbling

We use a concrete problem in the context of planning meetings to show how lifted probabilistic inference can dramatically speed up reasoning. We also extend lifted inference to deal with cardinality...