Erik Rosenthal

Publication Activity (10 Years)

Years Active: 1985-2017
Publications (10 Years): 1

Top Topics

Pruning The Search Space

Prime Implicates

Top Venues

J. Log. Comput.

Publications

Andrew Matusiewicz, Neil V. Murray, Paul W. Olsen, Erik Rosenthal
Computing prime implicates by pruning the search space and accelerating subsumption. J. Log. Comput. 27 (4) (2017)
Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal
Tri-Based Set Operations and Selective Computation of Prime Implicates. ISMIS (2011)
Neil V. Murray, Erik Rosenthal
Identifying Prime Implicate Branches in Reduced Implicate Tries. Fundam. Informaticae 99 (2) (2010)
Neil V. Murray, Erik Rosenthal
Reduced Implicate Tries with Updates. J. Log. Comput. 20 (1) (2010)
Neil V. Murray, Erik Rosenthal
Linear response time for implicate and implicant queries. Knowl. Inf. Syst. 22 (3) (2010)
Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal
Trie Based Subsumption and Improving the pi-Trie Algorithm. PAAR@IJCAR (2010)
Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal
Reduced Implicate Tries and Logical Operations. KEOD (2009)
Neil V. Murray, Erik Rosenthal
Prime Implicates and Reduced Implicate Tries. ISMIS (2009)
Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal
Prime Implicate Tries. TABLEAUX (2009)
Neil V. Murray, Erik Rosenthal
Reduced Implicate/Implicant Tries. ISMIS (2008)
Neil V. Murray, Erik Rosenthal
Updating Reduced Implicate Tries. TABLEAUX (2007)
Neil V. Murray, Erik Rosenthal
Efficient Query Processing with Reduced Implicate Tries. J. Autom. Reason. 38 (1-3) (2007)
Neil V. Murray, Erik Rosenthal
Duality in Knowledge Compilation Techniques. ISMIS (2005)
James J. Lu, Neil V. Murray, Erik Rosenthal
Deduction and Search Strategies for Regular Multiple-Valued Logics. J. Multiple Valued Log. Soft Comput. 11 (3-4) (2005)
Reiner Hähnle, Neil V. Murray, Erik Rosenthal
Normal Forms for Knowledge Compilation. ISMIS (2005)
Erik Rosenthal
Formal Versus Rigorous Mathematics: How to Get Your Papers Published. TABLEAUX (2005)
Neil V. Murray, Erik Rosenthal
Efficient Query Processing with Compiled Knowledge Bases. TABLEAUX (2005)
Reiner Hähnle, Neil V. Murray, Erik Rosenthal
Linearity and regularity with negation normal form. Theor. Comput. Sci. 328 (3) (2004)
Neil V. Murray, Erik Rosenthal
Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation. TABLEAUX (2003)
James J. Lu, Neil V. Murray, Heydar Radjavi, Erik Rosenthal, Peter Rosenthal
Inference for Annotated Logics over Distributive Lattices. ISMIS (2002)
Sonia M. Leach, James J. Lu, Neil V. Murray, Erik Rosenthal
℧-resolution and hybrid knowledge bases. J. Frankl. Inst. 338 (5) (2001)
Reiner Hähnle, Neil V. Murray, Erik Rosenthal
Ordered Resolution vs. Connection Graph Resolution. IJCAR (2001)
James J. Lu, Neil V. Murray, Erik Rosenthal
Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics. ISMIS (2000)
James J. Lu, Neil V. Murray, Erik Rosenthal
A Foundation for Hybrid Knowledge Bases. FSTTCS (1999)
Reiner Hähnle, Neil V. Murray, Erik Rosenthal
Some Remarks on Completeness, Connection Graph Resolution and Link Deletion. TABLEAUX (1998)
Sonia M. Leach, James J. Lu, Neil V. Murray, Erik Rosenthal
Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics. JELIA (1998)
James J. Lu, Neil V. Murray, Erik Rosenthal
A Framework for Automated Reasoning in Multiple-Valued Logics. J. Autom. Reason. 21 (1) (1998)
Reiner Hähnle, Neil V. Murray, Erik Rosenthal
Completeness for Linear Regular Negation Normal Form Inference Systems. ISMIS (1997)
James J. Lu, Neil V. Murray, Erik Rosenthal
Signed Formulas and Fuzzy Operator Logics. ISMIS (1994)
Neil V. Murray, Erik Rosenthal
Adapting Classical Inference Techniques to Multiple-Valued Logics Using Signed Formulas. Fundam. Informaticae 21 (3) (1994)
Neil V. Murray, Erik Rosenthal
On the Computational Intractabilityof Analytic Tableau Methods. Bull. IGPL 2 (2) (1994)
Neil V. Murray, Erik Rosenthal
On the Relative Merits of Path Dissolution and the Method of Analytic Tableaux. Theor. Comput. Sci. 131 (1) (1994)
James J. Lu, Neil V. Murray, Erik Rosenthal
Signed Formulas and Annotated Logics. ISMVL (1993)
Neil V. Murray, Erik Rosenthal
Dissolution: Making Paths Vanish. J. ACM 40 (3) (1993)
Neil V. Murray, Erik Rosenthal
Signed Formulas: A Liftable Meta-Logic for Multiple-Valued Logics. ISMIS (1993)
Neil V. Murray, Erik Rosenthal
Improving Tableau Deductions in Multiple-Valued Logics. ISMVL (1991)
Neil V. Murray, Erik Rosenthal
Resolution and Path Dissolution in Multi-Valued Logics. ISMIS (1991)
Neil V. Murray, Erik Rosenthal
Reexamining Intractability of Tableau Methods. ISSAC (1990)
Neil V. Murray, Erik Rosenthal
DISSOLVER: A Dissolution-based Theorem Prover. CADE (1990)
Neil V. Murray, Erik Rosenthal
Employing Path Dissolution to Shorten Tableaux Proofs. ISSAC (1989)
Neil V. Murray, Erik Rosenthal
An Implementation of a Dissolution-Based System Employing Theory Links. CADE (1988)
Neil V. Murray, Erik Rosenthal
Theory Links: Applications to Automated Theorem Proving. J. Symb. Comput. 4 (2) (1987)
Neil V. Murray, Erik Rosenthal
Inference with path resolution and semantic graphs. J. ACM 34 (2) (1987)
Neil V. Murray, Erik Rosenthal
Inferencing on an Arbitrary Set of Links. ISMIS (1987)
Neil V. Murray, Erik Rosenthal
Path Dissolution: A Strongly Complete Rule of Inference. AAAI (1987)
Neil V. Murray, Erik Rosenthal
Theory Links in Semantic Graphs. CADE (1986)
Neil V. Murray, Erik Rosenthal
Path Resolution with Link Deletion. IJCAI (1985)
Neil V. Murray, Erik Rosenthal
On Deleting Links in Semantic Graphs. AAECC (1985)
Neil V. Murray, Erik Rosenthal
Path Resolution and Semantic Graphs. European Conference on Computer Algebra (2) (1985)