| 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 | Mohand-Said Hacid, Neil V. Murray, Zbigniew W. Ras, Shusaku Tsumoto (eds.) |
Foundations of Intelligent Systems, 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings |
ISMIS |
2005 |
DBLP 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 | 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 | Grigoris Antoniou, Neil V. Murray |
Logical Methods for Computational Intelligence (Guest Editorial). |
Inf. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil V. Murray (eds.) |
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings |
TABLEAUX |
1999 |
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 | Anavai Ramesh, George Becker, Neil V. Murray |
CNF and DNF Considered Harmful for Computing Prime Implicants/Implicates. |
J. Autom. Reasoning |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray |
Fast Subsumption Checks Using Anti-Links. |
J. Autom. Reasoning |
1997 |
DBLP DOI 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 | George Becker, Neil V. Murray |
Efficient Execution of Programs with Static Semantics. |
SIGPLAN Notices |
1995 |
DBLP DOI BibTeX RDF |
|
| 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 | Bernhard Beckert, Reiner Hähnle, Anavai Ramesh, Neil V. Murray |
On Anti-Links. |
LPAR |
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 | Anavai Ramesh, Neil V. Murray |
Computing Prime Implicants/Implicates for Regular Logics. |
ISMVL |
1994 |
DBLP BibTeX RDF |
|
| 1 | Anavai Ramesh, Neil V. Murray |
Avoiding Tests for Subsumption. |
AAAI |
1994 |
DBLP 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 | Anavai Ramesh, Neil V. Murray |
Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
| 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 | Anavai Ramesh, George Becker, Neil V. Murray |
On Computing Prime Implicants and Prime Implicates. |
TABLEAUX |
1992 |
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 | Mira Balaban, Neil V. Murray |
The Logic of Time Structures: Temporal and Nonmonotonic Features. |
IJCAI |
1989 |
DBLP 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 | Mira Balaban, Neil V. Murray |
A First Order Calculus for Temporal Knowledge. |
ISMIS |
1987 |
DBLP 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 |
|
| 1 | Neil V. Murray |
Completely Non-Clausal Theorem Proving. |
Artif. Intell. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil V. Murray |
Some Observations on Equivalence Handling Methods. |
IEEE Trans. Computers |
1981 |
DBLP DOI BibTeX RDF |
path compression, tree balancing, partition, Equivalence, UNION-FIND |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")