Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Knowledge Compilation with Fast Response: Papers and Technical Reports
N.V. Murray and E. Rosenthal.
``Tableaux, Path Dissolution, and Decomposable Negation Normal Form
for Knowledge Compilation.''
Proceedings of the International Conference
TABLEAUX 2003 - Analytic Tableaux and Related Methods,
Rome, Italy, September 2003.
In Lecture Notes in
Artificial Intelligence, Springer-Verlag, Vol. 2796, 165-180.
Download
N.V. Murray and E. Rosenthal. ``Duality in Knowledge
Compilation Techniques.'' Proceedings of the
International
Symposium on Methodologies for Intelligent Systems - ISMIS
2005 Saratoga Springs, NY, May 2005. In Lecture Notes in
Artificial Intelligence, Springer-Verlag, Vol. 3488,
182-190.
Download
R. Haehnle, N.V. Murray and E. Rosenthal. ``Normal Forms for
Knowledge Compilation.'' Proceedings of the International
Symposium on Methodologies for Intelligent Systems - ISMIS
2005 Saratoga Springs, NY, May 2005. In Lecture Notes in
Artificial Intelligence, Springer-Verlag, Vol. 3488,
304-313.
Download
N.V. Murray and E. Rosenthal. ``Efficient Query Processing
with Compiled Knowledge Bases.'' Proceedings of the
International Conference TABLEAUX 2005 - Analytic Tableaux
and Related Methods, Koblenz, Germany, September 2005. In
Lecture Notes in Artificial Intelligence, Springer-Verlag,
Vol. 3702, 231-244.
Download
N.V. Murray and E. Rosenthal. ``Updating Reduced Implicate
Tries.'' Proceedings of the
International Conference TABLEAUX 2007 - Analytic Tableaux
and Related Methods, Aix en Provence, France, July 2007.
Lecture Notes in Artificial Intelligence, Springer-Verlag.
Vol. 4548, 183-198.
Download
N.V. Murray and E. Rosenthal. ``Efficient Query Processing
with Reduced Implicate Tries.'' Journal of
Automated Reasoning38
(2007) 155-172.
Download
Publications Resulting From the Project
N.V. Murray and E. Rosenthal. ``Reduced Implicant Tries.''
Technical Report TR-SUNYA-CS-07-01, Department of Computer
Science, University at Albany - SUNY, November 2007.
Download
N.V. Murray and E. Rosenthal. ``Linear Response Time
for Implicate and Implicant Queries.''
Technical Report TR-SUNYA-CS-08-01, Department of Computer
Science, University at Albany - SUNY, January 2008.
Download
N.V. Murray and E. Rosenthal. ``Reduced Implicate/Implicant
Tries.'' Proceedings of the
International Symposium on Methodologies for Intelligent
Systems, Toronto, Ontario Canada, May 2008.
Lecture Notes in
Artificial Intelligence, Springer-Verlag,
Vol. 4994, 203-214.
Download
[ISMIS 2008 presentation slides: Download]