N
Neil V. Murray
Researcher at State University of New York System
Publications - 65
Citations - 800
Neil V. Murray is an academic researcher from State University of New York System. The author has contributed to research in topics: Rule of inference & Negation normal form. The author has an hindex of 14, co-authored 65 publications receiving 789 citations. Previous affiliations of Neil V. Murray include Le Moyne College & University at Albany, SUNY.
Papers
More filters
Journal ArticleDOI
Completely non-clausal theorem proving
TL;DR: The proof procedure is shown to be complete and uses NC-resolution to derive a logic program from its specification, and to 'execute' a program specification in its original form.
Journal ArticleDOI
Dissolution: making paths vanish
Neil V. Murray,Erik Rosenthal +1 more
TL;DR: A rule of inference that operates on formulas in negation normal form and that employs a representation called semantic graphs is introduced, which has several advantages in comparison with many other reference technologies.
Journal ArticleDOI
CNF and DNF Considered Harmful for Computing Prime Implicants/Implicates
TL;DR: The PI algorithm alone is sufficient in a computational sense, however, it can be combined with path dissolution, and it is shown empirically that this is often an advantage.
Journal ArticleDOI
Inference with path resolution and semantic graphs
Neil V. Murray,Erik Rosenthal +1 more
TL;DR: A graphical representation of quantifier-free predicate calculus formulas in negation normal form and a new rule of inference that employs this representation are introduced and the new rule, path resolution, is an amalgamation of resolution and Prawitz analysis.
Proceedings ArticleDOI
Signed formulas and annotated logics
TL;DR: The relationship between signed formulas and annotated logics, two approaches that some authors have used to analyze multiple-valued logics (MVLs), is explored and a special case of the signed resolution rule is shown to be equivalent to, and thus to unify, the two inference rules, resolution and reduction, of annotated logic.