Folgen
Neil V. Murray
Neil V. Murray
Department of Computer Science, Univ. at Albany - SUNY
Bestätigte E-Mail-Adresse bei cs.albany.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Completely non-clausal theorem proving
NV Murray
Artificial intelligence 18 (1), 67-85, 1982
1821982
Dissolution: Making paths vanish
NV Murray, E Rosenthal
Journal of the ACM (JACM) 40 (3), 504-535, 1993
871993
CNF and DNF considered harmful for computing prime implicants/implicates
A Ramesh, G Becker, NV Murray
Journal of Automated Reasoning 18, 337-356, 1997
771997
Inference with path resolution and semantic graphs
NV Murray, E Rosenthal
Journal of the ACM (JACM) 34 (2), 225-254, 1987
621987
Signed formulas and annotated logics
JJ Lu, NV Murray, E Rosenthal
[1993] Proceedings of the Twenty-Third International Symposium on Multiple …, 1993
581993
A framework for automated reasoning in multiple-valued logics
JJ Lu, NV Murray, E Rosenthal
Journal of Automated Reasoning 21, 39-67, 1998
481998
Resolution and path dissolution in multiple-valued logics
NV Murray, E Rosenthal
Methodologies for Intelligent Systems: 6th International Symposium, ISMIS'91 …, 1991
391991
Adapting classical inference techniques to multiple-valued logics using signed formulas
NV Murray, E Rosenthal
Fundamenta Informaticae 21 (3), 237-253, 1994
371994
Signed formulas: A liftable meta-logic for multiple-valued logics
NV Murray, E Rosenthal
Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93 …, 1993
361993
Prime implicate tries
A Matusiewicz, NV Murray, E Rosenthal
Automated Reasoning with Analytic Tableaux and Related Methods: 18th …, 2009
332009
Improving tableau deductions in multiple-valued logics
NV Murray, E Rosenthal
1991 Proceedings of the Twenty-First International Symposium on Multiple …, 1991
271991
Path Dissolution: A Strongly Complete Rule of Inference.
NV Murray, E Rosenthal
AAAI, 161-166, 1987
241987
Duality in knowledge compilation techniques
NV Murray, E Rosenthal
Foundations of Intelligent Systems: 15th International Symposium, ISMIS 2005 …, 2005
232005
Tableaux, path dissolution, and decomposable negation normal form for knowledge compilation
NV Murray, E Rosenthal
Automated Reasoning with Analytic Tableaux and Related Methods …, 2003
222003
Normal forms for knowledge compilation
R Hähnle, NV Murray, E Rosenthal
Foundations of Intelligent Systems: 15th International Symposium, ISMIS 2005 …, 2005
212005
On the computational intractability of analytic tableau methods
NV Murray, E Rosenthal
Logic Journal of the IGPL 2 (2), 205-228, 1994
201994
Tri-based set operations and selective computation of prime implicates
A Matusiewicz, NV Murray, E Rosenthal
Foundations of Intelligent Systems: 19th International Symposium, ISMIS 2011 …, 2011
192011
Signed formulas and fuzzy operator logics
JJ Lu, NV Murray, E Rosenthal
Methodologies for Intelligent Systems: 8th International Symposium, ISMIS'94 …, 1994
181994
Theory links: Applications to automated theorem proving
NV Murray, E Rosenthal
Journal of Symbolic Computation 4 (2), 173-190, 1987
171987
Efficient query processing with compiled knowledge bases
NV Murray, E Rosenthal
Automated Reasoning with Analytic Tableaux and Related Methods: 14th …, 2005
162005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20