Joshi, Saket; Kersting, Kristian; Khardon, Roni (Elsevier, 2011-12)
Many tasks in AI require representation and manipulation of complex functions. First-Order Decision Diagrams (FODD) are a compact knowledge representation expressing functions over relational structures. They represent n ...