| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal |
Tri-Based Set Operations and Selective Computation of Prime Implicates.  |
ISMIS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
Linear response time for implicate and implicant queries. |
Knowl. Inf. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
Reduced Implicate Tries with Updates. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
Identifying Prime Implicate Branches in Reduced Implicate Tries. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal |
Reduced Implicate Tries and Logical Operations. |
KEOD |
2009 |
DBLP BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
Prime Implicates and Reduced Implicate Tries. |
ISMIS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal |
Prime Implicate Tries. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
Reduced Implicate/Implicant Tries. |
ISMIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
Efficient Query Processing with Reduced Implicate Tries. |
J. Autom. Reasoning |
2007 |
DBLP DOI BibTeX RDF |
reduced implicate trie, query processing, knowledge base |
| 1 | Neil V. Murray, Erik Rosenthal |
Updating Reduced Implicate Tries. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
Duality in Knowledge Compilation Techniques. |
ISMIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Neil V. Murray, Erik Rosenthal |
Normal Forms for Knowledge Compilation. |
ISMIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
Efficient Query Processing with Compiled Knowledge Bases. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Rosenthal |
Formal Versus Rigorous Mathematics: How to Get Your Papers Published. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
nature of proof, rigor, formal mathematics |
| 1 | Neil V. Murray, Erik Rosenthal |
Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | James J. Lu, Neil V. Murray, Heydar Radjavi, Erik Rosenthal, Peter Rosenthal |
Inference for Annotated Logics over Distributive Lattices. |
ISMIS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Neil V. Murray, Erik Rosenthal |
Ordered Resolution vs. Connection Graph Resolution. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | James J. Lu, Neil V. Murray, Erik Rosenthal |
Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics. |
ISMIS |
2000 |
DBLP BibTeX RDF |
|
| 1 | James J. Lu, Neil V. Murray, Erik Rosenthal |
A Foundation for Hybrid Knowledge Bases. |
FSTTCS |
1999 |
DBLP DOI BibTeX RDF |
hybrid knowledge bases, inference, deduction |
| 1 | James J. Lu, Neil V. Murray, Erik Rosenthal |
A Framework for Automated Reasoning in Multiple-Valued Logics. |
J. Autom. Reasoning |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonia M. Leach, James J. Lu, Neil V. Murray, Erik Rosenthal |
Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Neil V. Murray, Erik Rosenthal |
Some Remarks on Completeness, Connection Graph Resolution and Link Deletion. |
TABLEAUX |
1998 |
DBLP BibTeX RDF |
|
| 1 | James J. Lu, Erik Rosenthal |
Logic-Based Deductive Reasoning. |
The Computer Science and Engineering Handbook |
1997 |
DBLP BibTeX RDF |
|
| 1 | Reiner Hähnle, Neil V. Murray, Erik Rosenthal |
Completeness for Linear Regular Negation Normal Form Inference Systems. |
ISMIS |
1997 |
DBLP DOI BibTeX RDF |
tableau method, non-clausal inference, negation normal form, completeness, resolution, Logic for Artificial Intelligence |
| 1 | Neil V. Murray, Erik Rosenthal |
On the Relative Merits of Path Dissolution and the Method of Analytic Tableaux. |
Theor. Comput. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
On the Computational Intractabilityof Analytic Tableau Methods. |
Bulletin of the IGPL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
Adapting Classical Inference Techniques to Multiple-Valued Logics Using Signed Formulas. |
Fundam. Inform. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | James J. Lu, Neil V. Murray, Erik Rosenthal |
Signed Formulas and Fuzzy Operator Logics. |
ISMIS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
Dissolution: Making Paths Vanish. |
J. ACM |
1993 |
DBLP DOI BibTeX RDF |
Prawitz analysis, matrix methods, inference, automated deduction |
| 1 | Neil V. Murray, Erik Rosenthal |
Signed Formulas: A Liftable Meta-Logic for Multiple-Valued Logics. |
ISMIS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | James J. Lu, Neil V. Murray, Erik Rosenthal |
Signed Formulas and Annotated Logics. |
ISMVL |
1993 |
DBLP BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
Resolution and Path Dissolution in Multi-Valued Logics. |
ISMIS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
Improving Tableau Deductions in Multiple-Valued Logics. |
ISMVL |
1991 |
DBLP BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
DISSOLVER: A Dissolution-based Theorem Prover. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
Reexamining Intractability of Tableau Methods. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
Employing Path Dissolution to Shorten Tableaux Proofs. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
An Implementation of a Dissolution-Based System Employing Theory Links. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
Theory Links: Applications to Automated Theorem Proving. |
J. Symb. Comput. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
Inference with path resolution and semantic graphs. |
J. ACM |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
Inferencing on an Arbitrary Set of Links. |
ISMIS |
1987 |
DBLP BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
Path Dissolution: A Strongly Complete Rule of Inference. |
AAAI |
1987 |
DBLP BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
Theory Links in Semantic Graphs. |
CADE |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
Path Resolution with Link Deletion. |
IJCAI |
1985 |
DBLP BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
On Deleting Links in Semantic Graphs. |
AAECC |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil V. Murray, Erik Rosenthal |
Path Resolution and Semantic Graphs. |
European Conference on Computer Algebra |
1985 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")