| Completely non-clausal theorem proving NV Murray Artificial intelligence 18 (1), 67-85, 1982 | 182 | 1982 |
| Dissolution: Making paths vanish NV Murray, E Rosenthal Journal of the ACM (JACM) 40 (3), 504-535, 1993 | 87 | 1993 |
| CNF and DNF considered harmful for computing prime implicants/implicates A Ramesh, G Becker, NV Murray Journal of Automated Reasoning 18, 337-356, 1997 | 77 | 1997 |
| Inference with path resolution and semantic graphs NV Murray, E Rosenthal Journal of the ACM (JACM) 34 (2), 225-254, 1987 | 62 | 1987 |
| Signed formulas and annotated logics JJ Lu, NV Murray, E Rosenthal [1993] Proceedings of the Twenty-Third International Symposium on Multiple …, 1993 | 58 | 1993 |
| A framework for automated reasoning in multiple-valued logics JJ Lu, NV Murray, E Rosenthal Journal of Automated Reasoning 21, 39-67, 1998 | 48 | 1998 |
| Resolution and path dissolution in multiple-valued logics NV Murray, E Rosenthal Methodologies for Intelligent Systems: 6th International Symposium, ISMIS'91 …, 1991 | 39 | 1991 |
| Adapting classical inference techniques to multiple-valued logics using signed formulas NV Murray, E Rosenthal Fundamenta Informaticae 21 (3), 237-253, 1994 | 37 | 1994 |
| Signed formulas: A liftable meta-logic for multiple-valued logics NV Murray, E Rosenthal Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93 …, 1993 | 36 | 1993 |
| Prime implicate tries A Matusiewicz, NV Murray, E Rosenthal Automated Reasoning with Analytic Tableaux and Related Methods: 18th …, 2009 | 33 | 2009 |
| Improving tableau deductions in multiple-valued logics NV Murray, E Rosenthal 1991 Proceedings of the Twenty-First International Symposium on Multiple …, 1991 | 27 | 1991 |
| Path Dissolution: A Strongly Complete Rule of Inference. NV Murray, E Rosenthal AAAI, 161-166, 1987 | 24 | 1987 |
| Duality in knowledge compilation techniques NV Murray, E Rosenthal Foundations of Intelligent Systems: 15th International Symposium, ISMIS 2005 …, 2005 | 23 | 2005 |
| Tableaux, path dissolution, and decomposable negation normal form for knowledge compilation NV Murray, E Rosenthal Automated Reasoning with Analytic Tableaux and Related Methods …, 2003 | 22 | 2003 |
| Normal forms for knowledge compilation R Hähnle, NV Murray, E Rosenthal Foundations of Intelligent Systems: 15th International Symposium, ISMIS 2005 …, 2005 | 21 | 2005 |
| On the computational intractability of analytic tableau methods NV Murray, E Rosenthal Logic Journal of the IGPL 2 (2), 205-228, 1994 | 20 | 1994 |
| 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 | 19 | 2011 |
| Signed formulas and fuzzy operator logics JJ Lu, NV Murray, E Rosenthal Methodologies for Intelligent Systems: 8th International Symposium, ISMIS'94 …, 1994 | 18 | 1994 |
| Theory links: Applications to automated theorem proving NV Murray, E Rosenthal Journal of Symbolic Computation 4 (2), 173-190, 1987 | 17 | 1987 |
| Efficient query processing with compiled knowledge bases NV Murray, E Rosenthal Automated Reasoning with Analytic Tableaux and Related Methods: 14th …, 2005 | 16 | 2005 |
Anavai RameshIntelBestätigte E-Mail-Adresse bei intel.com
