Neil V. Murray

	2011
58		Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal: Tri-Based Set Operations and Selective Computation of Prime Implicates. ISMIS 2011: 203-213
	2010
57		Neil V. Murray, Erik Rosenthal: Identifying Prime Implicate Branches in Reduced Implicate Tries. Fundam. Inform. 99(2): 227-243 (2010)
56		Neil V. Murray, Erik Rosenthal: Reduced Implicate Tries with Updates. J. Log. Comput. 20(1): 261-281 (2010)
55		Neil V. Murray, Erik Rosenthal: Linear response time for implicate and implicant queries. Knowl. Inf. Syst. 22(3): 287-317 (2010)
	2009
54		Neil V. Murray, Erik Rosenthal: Prime Implicates and Reduced Implicate Tries. ISMIS 2009: 191-200
53		Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal: Reduced Implicate Tries and Logical Operations. KEOD 2009: 456-459
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		Bernhard Beckert, 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)

Coauthor Index

1	Grigoris Antoniou	[38]
2	Mira Balaban	[10] [14]
3	George Becker	[19] [31] [32]
4	Bernhard Beckert	[27] [33]
5	Mohand-Said Hacid	[48]
6	Reiner Hähnle	[27] [33] [34] [36] [42] [46]
7	Sonia M. Leach	[37]
8	James J. Lu	[22] [29] [35] [37] [39] [41] [43]
9	Andrew Matusiewicz	[52] [53] [58]
10	Heydar Radjavi	[43]
11	Anavai Ramesh	[19] [21] [27] [28] [30] [32] [33]
12	Zbigniew W. Ras	[48]
13	Erik 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] [54] [55] [56] [57] [58]
14	Peter Rosenthal	[43]
15	Shusaku Tsumoto	[48]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page