mirage   mirage   mirage

Browsing Faculty Research Publications (Electrical Engineering and Computer Science) by Subject "Automated reasoning"

DSpace/Manakin Repository

Browsing Faculty Research Publications (Electrical Engineering and Computer Science) by Subject "Automated reasoning"

Sort by: Order: Results:

  • 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 ...

Search ScholarsArchive@OSU


Advanced Search

Browse

My Account

Statistics