 | 2009 |
|---|
| 53 |       | Neil V. Murray,
Erik Rosenthal:
Prime Implicates and Reduced Implicate Tries.
ISMIS 2009: 191-200 |
| 52 | | Andrew Matusiewicz,
Neil V. Murray,
Erik Rosenthal:
Prime Implicate Tries.
TABLEAUX 2009: 250-264 |
| 2008 |
|---|
| 51 | | Neil V. Murray,
Erik Rosenthal:
Reduced Implicate/Implicant Tries.
ISMIS 2008: 203-214 |
| 2007 |
|---|
| 50 | | Neil V. Murray,
Erik Rosenthal:
Updating Reduced Implicate Tries.
TABLEAUX 2007: 183-198 |
| 49 | | Neil V. Murray,
Erik Rosenthal:
Efficient Query Processing with Reduced Implicate Tries.
J. Autom. Reasoning 38(1-3): 155-172 (2007) |
| 2005 |
|---|
| 48 |  | Mohand-Said Hacid,
Neil V. Murray,
Zbigniew W. Ras,
Shusaku Tsumoto:
Foundations of Intelligent Systems, 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings
Springer 2005 |
| 47 | | Neil V. Murray,
Erik Rosenthal:
Duality in Knowledge Compilation Techniques.
ISMIS 2005: 182-190 |
| 46 | | Reiner Hähnle,
Neil V. Murray,
Erik Rosenthal:
Normal Forms for Knowledge Compilation.
ISMIS 2005: 304-313 |
| 45 | | Neil V. Murray,
Erik Rosenthal:
Efficient Query Processing with Compiled Knowledge Bases.
TABLEAUX 2005: 231-244 |
| 2003 |
|---|
| 44 | | Neil V. Murray,
Erik Rosenthal:
Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation.
TABLEAUX 2003: 165-180 |
| 2002 |
|---|
| 43 | | James J. Lu,
Neil V. Murray,
Heydar Radjavi,
Erik Rosenthal,
Peter Rosenthal:
Inference for Annotated Logics over Distributive Lattices.
ISMIS 2002: 285-293 |
| 2001 |
|---|
| 42 | | Reiner Hähnle,
Neil V. Murray,
Erik Rosenthal:
Ordered Resolution vs. Connection Graph Resolution.
IJCAR 2001: 182-194 |
| 2000 |
|---|
| 41 | | James J. Lu,
Neil V. Murray,
Erik Rosenthal:
Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics.
ISMIS 2000: 301-310 |
| 1999 |
|---|
| 40 | | Neil V. Murray:
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings
Springer 1999 |
| 39 | | James J. Lu,
Neil V. Murray,
Erik Rosenthal:
A Foundation for Hybrid Knowledge Bases.
FSTTCS 1999: 155-167 |
| 38 | | Grigoris Antoniou,
Neil V. Murray:
Logical Methods for Computational Intelligence (Guest Editorial).
Inf. Sci. 116(1): 1-2 (1999) |
| 1998 |
|---|
| 37 | | Sonia M. Leach,
James J. Lu,
Neil V. Murray,
Erik Rosenthal:
Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics.
JELIA 1998: 154-168 |
| 36 | | Reiner Hähnle,
Neil V. Murray,
Erik Rosenthal:
Some Remarks on Completeness, Connection Graph Resolution and Link Deletion.
TABLEAUX 1998: 173-186 |
| 35 | | James J. Lu,
Neil V. Murray,
Erik Rosenthal:
A Framework for Automated Reasoning in Multiple-Valued Logics.
J. Autom. Reasoning 21(1): 39-67 (1998) |
| 1997 |
|---|
| 34 | | Reiner Hähnle,
Neil V. Murray,
Erik Rosenthal:
Completeness for Linear Regular Negation Normal Form Inference Systems.
ISMIS 1997: 590-599 |
| 33 | | Anavai Ramesh,
Bernhard Beckert,
Reiner Hähnle,
Neil V. Murray:
Fast Subsumption Checks Using Anti-Links.
J. Autom. Reasoning 18(1): 47-83 (1997) |
| 32 | | Anavai Ramesh,
George Becker,
Neil V. Murray:
CNF and DNF Considered Harmful for Computing Prime Implicants/Implicates.
J. Autom. Reasoning 18(3): 337-356 (1997) |
| 1995 |
|---|
| 31 | | George Becker,
Neil V. Murray:
Efficient Execution of Programs with Static Semantics.
SIGPLAN Notices 30(4): 51-60 (1995) |
| 1994 |
|---|
| 30 | | Anavai Ramesh,
Neil V. Murray:
Avoiding Tests for Subsumption.
AAAI 1994: 175-180 |
| 29 | | James J. Lu,
Neil V. Murray,
Erik Rosenthal:
Signed Formulas and Fuzzy Operator Logics.
ISMIS 1994: 75-84 |
| 28 | | Anavai Ramesh,
Neil V. Murray:
Computing Prime Implicants/Implicates for Regular Logics.
ISMVL 1994: 115-123 |
| 27 | | Bernard Becker,
Reiner Hähnle,
Anavai Ramesh,
Neil V. Murray:
On Anti-Links.
LPAR 1994: 275-289 |
| 26 | | Neil V. Murray,
Erik Rosenthal:
On the Computational Intractabilityof Analytic Tableau Methods.
Bulletin of the IGPL 2(2): 205-228 (1994) |
| 25 | | Neil V. Murray,
Erik Rosenthal:
Adapting Classical Inference Techniques to Multiple-Valued Logics Using Signed Formulas.
Fundam. Inform. 21(3): 237-253 (1994) |
| 24 | | Neil V. Murray,
Erik Rosenthal:
On the Relative Merits of Path Dissolution and the Method of Analytic Tableaux.
Theor. Comput. Sci. 131(1): 1-28 (1994) |
| 1993 |
|---|
| 23 | | Neil V. Murray,
Erik Rosenthal:
Signed Formulas: A Liftable Meta-Logic for Multiple-Valued Logics.
ISMIS 1993: 275-284 |
| 22 | | James J. Lu,
Neil V. Murray,
Erik Rosenthal:
Signed Formulas and Annotated Logics.
ISMVL 1993: 48-53 |
| 21 | | Anavai Ramesh,
Neil V. Murray:
Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates.
LPAR 1993: 277-288 |
| 20 | | Neil V. Murray,
Erik Rosenthal:
Dissolution: Making Paths Vanish.
J. ACM 40(3): 504-535 (1993) |
| 1992 |
|---|
| 19 | | Anavai Ramesh,
George Becker,
Neil V. Murray:
On Computing Prime Implicants and Prime Implicates.
TABLEAUX 1992: 73-75 |
| 1991 |
|---|
| 18 | | Neil V. Murray,
Erik Rosenthal:
Resolution and Path Dissolution in Multi-Valued Logics.
ISMIS 1991: 570-579 |
| 17 | | Neil V. Murray,
Erik Rosenthal:
Improving Tableau Deductions in Multiple-Valued Logics.
ISMVL 1991: 230-237 |
| 1990 |
|---|
| 16 | | Neil V. Murray,
Erik Rosenthal:
DISSOLVER: A Dissolution-based Theorem Prover.
CADE 1990: 665-666 |
| 15 | | Neil V. Murray,
Erik Rosenthal:
Reexamining Intractability of Tableau Methods.
ISSAC 1990: 52-59 |
| 1989 |
|---|
| 14 | | Mira Balaban,
Neil V. Murray:
The Logic of Time Structures: Temporal and Nonmonotonic Features.
IJCAI 1989: 1285-1290 |
| 13 | | Neil V. Murray,
Erik Rosenthal:
Employing Path Dissolution to Shorten Tableaux Proofs.
ISSAC 1989: 373-381 |
| 1988 |
|---|
| 12 | | Neil V. Murray,
Erik Rosenthal:
An Implementation of a Dissolution-Based System Employing Theory Links.
CADE 1988: 658-674 |
| 1987 |
|---|
| 11 | | Neil V. Murray,
Erik Rosenthal:
Path Dissolution: A Strongly Complete Rule of Inference.
AAAI 1987: 161-166 |
| 10 | | Mira Balaban,
Neil V. Murray:
A First Order Calculus for Temporal Knowledge.
ISMIS 1987: 193-200 |
| 9 | | Neil V. Murray,
Erik Rosenthal:
Inferencing on an Arbitrary Set of Links.
ISMIS 1987: 416-423 |
| 8 | | Neil V. Murray,
Erik Rosenthal:
Inference with path resolution and semantic graphs.
J. ACM 34(2): 225-254 (1987) |
| 7 | | Neil V. Murray,
Erik Rosenthal:
Theory Links: Applications to Automated Theorem Proving.
J. Symb. Comput. 4(2): 173-190 (1987) |
| 1986 |
|---|
| 6 | | Neil V. Murray,
Erik Rosenthal:
Theory Links in Semantic Graphs.
CADE 1986: 353-364 |
| 1985 |
|---|
| 5 | | Neil V. Murray,
Erik Rosenthal:
On Deleting Links in Semantic Graphs.
AAECC 1985: 404-415 |
| 4 | | Neil V. Murray,
Erik Rosenthal:
Path Resolution and Semantic Graphs.
European Conference on Computer Algebra (2) 1985: 50-63 |
| 3 | | Neil V. Murray,
Erik Rosenthal:
Path Resolution with Link Deletion.
IJCAI 1985: 1187-1193 |
| 1982 |
|---|
| 2 | | Neil V. Murray:
Completely Non-Clausal Theorem Proving.
Artif. Intell. 18(1): 67-85 (1982) |
| 1981 |
|---|
| 1 | | Neil V. Murray:
Some Observations on Equivalence Handling Methods.
IEEE Trans. Computers 30(5): 361-362 (1981) |
