dblp.uni-trier.dewww.uni-trier.de

Neil V. Murray Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
53EENeil V. Murray, Erik Rosenthal: Prime Implicates and Reduced Implicate Tries. ISMIS 2009: 191-200
52EEAndrew Matusiewicz, Neil V. Murray, Erik Rosenthal: Prime Implicate Tries. TABLEAUX 2009: 250-264
2008
51EENeil V. Murray, Erik Rosenthal: Reduced Implicate/Implicant Tries. ISMIS 2008: 203-214
2007
50EENeil V. Murray, Erik Rosenthal: Updating Reduced Implicate Tries. TABLEAUX 2007: 183-198
49EENeil 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
47EENeil V. Murray, Erik Rosenthal: Duality in Knowledge Compilation Techniques. ISMIS 2005: 182-190
46EEReiner Hähnle, Neil V. Murray, Erik Rosenthal: Normal Forms for Knowledge Compilation. ISMIS 2005: 304-313
45EENeil V. Murray, Erik Rosenthal: Efficient Query Processing with Compiled Knowledge Bases. TABLEAUX 2005: 231-244
2003
44EENeil V. Murray, Erik Rosenthal: Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation. TABLEAUX 2003: 165-180
2002
43EEJames J. Lu, Neil V. Murray, Heydar Radjavi, Erik Rosenthal, Peter Rosenthal: Inference for Annotated Logics over Distributive Lattices. ISMIS 2002: 285-293
2001
42EEReiner Hähnle, Neil V. Murray, Erik Rosenthal: Ordered Resolution vs. Connection Graph Resolution. IJCAR 2001: 182-194
2000
41EEJames 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
39EEJames 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
37EESonia M. Leach, James J. Lu, Neil V. Murray, Erik Rosenthal: Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics. JELIA 1998: 154-168
36EEReiner 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
34EEReiner 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
29EEJames 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
27EEBernard Becker, Reiner Hähnle, Anavai Ramesh, Neil V. Murray: On Anti-Links. LPAR 1994: 275-289
26EENeil 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
23EENeil 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
21EEAnavai Ramesh, Neil V. Murray: Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates. LPAR 1993: 277-288
20EENeil 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
18EENeil 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
16EENeil V. Murray, Erik Rosenthal: DISSOLVER: A Dissolution-based Theorem Prover. CADE 1990: 665-666
15EENeil 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
13EENeil V. Murray, Erik Rosenthal: Employing Path Dissolution to Shorten Tableaux Proofs. ISSAC 1989: 373-381
1988
12EENeil 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
8EENeil 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
6EENeil V. Murray, Erik Rosenthal: Theory Links in Semantic Graphs. CADE 1986: 353-364
1985
5EENeil 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)

Coauthor Index

1Grigoris Antoniou [38]
2Mira Balaban [10] [14]
3Bernard Becker [27]
4George Becker [19] [31] [32]
5Bernhard Beckert [33]
6Mohand-Said Hacid [48]
7Reiner Hähnle [27] [33] [34] [36] [42] [46]
8Sonia M. Leach [37]
9James J. Lu [22] [29] [35] [37] [39] [41] [43]
10Andrew Matusiewicz [52]
11Heydar Radjavi [43]
12Anavai Ramesh [19] [21] [27] [28] [30] [32] [33]
13Zbigniew W. Ras [48]
14Erik Rosenthal [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [15] [16] [17] [18] [20] [22] [23] [24] [25] [26] [29] [34] [35] [36] [37] [39] [41] [42] [43] [44] [45] [46] [47] [49] [50] [51] [52] [53]
15Peter Rosenthal [43]
16Shusaku Tsumoto [48]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)