Knowledge Compilation with Fast Response
- 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 Reasoning 38 (2007) 155-172. Download
- 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-02 (originally 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]
- N.V. Murray and E. Rosenthal, Reduced implicate tries with updates,
Journal of Logic and Computation. Download
- N.V. Murray and E. Rosenthal,
Linear response time for implicate and implicant queries,
Journal of Knowledge and Information Systems Download.
- A. Matusiewicz, N.V. Murray and E. Rosenthal,
Prime implicate tries, Proceedings of the
International Conference TABLEAUX 2009 -- Analytic Tableaux
and Related Methods, Oslo, Norway, July 2009,
Lecture Notes in Artificial Intelligence, Springer-Verlag.
Download
[Tableaux 2009 presentation slides: Download]
- N.V. Murray and E. Rosenthal,
Prime implicates and reduced implicate tries,
Proceedings of the International Symposium on
Methodologies for Intelligent Systems,
Prague, Czech Republic, (September, 2009),
Lecture Notes in Artificial Intelligence, Springer-Verlag.
Vol. 5722, 191-200.
Download
[ISMIS 2009 presentation slides:
Download]
- A. Matusiewicz, N.V. Murray and E. Rosenthal,
Reduced implicate tries
and logical operations. (Poster)
Proceedings of the
International Conference on Knowledge Engineering
and Ontology Development - KEOD 2009
Madeira, Portugal, October 2009, 456-459.
Download
[KEOD 2009 presentation slides:
Download]
- A. Matusiewicz, N.V. Murray and E. Rosenthal,
Trie-based subsumption and improving the pi-trie
Algorithm.
Workshop on Practical Aspects of Automated Reasoning
(Part of IJCAR 2010 within FLoC 2010), Edingurgh, UK,
July 2010.
Download
[PAAR 2010 presentation slides:
Download]
- N.V. Murray and E. Rosenthal,
Reduced Implicate Tries
with Updates.
Journal of Logic and Computation,
20, 261-281, (2010).
- N.V. Murray and E. Rosenthal,
Linear Response
Time for Implicate and Implicant Queries.
Knowledge and Information Systems.
22, 3 (2010) 287-317.
- N.V. Murray and E. Rosenthal,
Identifying Prime
Implicate Branches in ri-Tries.
Fundamenta Informaticae.
99, 2 (2010) 227-243.
- A. Matusiewicz, N.V. Murray and E. Rosenthal,
Tri-Based Set Operations and
Selective Computation of Prime Implicates.
Proceedings of the International
Symposium on Methodologies for Intelligent Systems - ISMIS
2011, Warsaw, Poland, June 2011.
Lecture Notes in Artificial Intelligence, Springer-Verlag.
Vol. 6804, 203-213.
Download
[Presentation slides:
Download:]
- A. Matusiewicz,
A dynamic programming algorithm for prime implicates.
Technical
Report IAM-11-002, Universität Bern (Short paper, International
Conference TABLEAUX 2011 - Analytic Tableaux and Related Methods)
87-91.
[Presentation slides:
Download]