Knowledge Compilation with Fast
Erik Rosenthal, University of New Haven
Neil V. Murray, University at Albany - SUNY
NSF Award Abstract Web Pages:
University of New Haven, NSF Award Number
University at Albany - SUNY, NSF Award Number
NSF Funding Directorate: Computer & Information Science &
NSF Funding Division: Information & Intelligent Systems (IIS)
Award Period: September 15, 2007
→ August 31, 2010
Relevant papers, slides, and technical reports are available for
download in pdf format.
A system that compiles propositional knowledge bases
into reduced implicate tries is under construction.
Initial development was
Research Assistant Shilpa Nayak.
Ph.D. student Andrew
Matusiewicz has taken over the implementation effort.
Three undergraduate students are participating in the project
This project is funded under NSF Program
Information and Intelligent Systems: Information Integration
Document number nsf07577.
last updated on June 2, 2008.
*This project is supported by the
National Science Foundation under Awards IIS-0712752