( en | de | ru )

 

Disambiguation of "Murray, Neil V."

Author of the publication

copydeleteadd this publication to your clipboard
℧-resolution and hybrid knowledge bases.

, , , and . J. Frankl. Inst., 338 (5): 583-600 (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

James Neil

Katharine Neil

Henryk Neils

Mattis Neiling

Kathleen Murray

 

Other publications of authors with the same name

Computing prime implicates by pruning the search space and accelerating subsumption., , , and . J. Log. Comput., 27 (4): 961-983 (2017)℧-resolution and hybrid knowledge bases., , , and . J. Frankl. Inst., 338 (5): 583-600 (2001)Updating Reduced Implicate Tries., and . TABLEAUX, volume 4548 of Lecture Notes in Computer Science, page 183-198. Springer, (2007)A Framework for Automated Reasoning in Multiple-Valued Logics., , and . J. Autom. Reason., 21 (1): 39-67 (1998)Inference with path resolution and semantic graphs., and . J. ACM, 34 (2): 225-254 (1987)Employing Path Dissolution to Shorten Tableaux Proofs., and . ISSAC, page 373-381. ACM, (1989)Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics., , , and . JELIA, volume 1489 of Lecture Notes in Computer Science, page 154-168. Springer, (1998)Signed Formulas and Fuzzy Operator Logics., , and . ISMIS, volume 869 of Lecture Notes in Computer Science, page 75-84. Springer, (1994)Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics., , and . ISMIS, volume 1932 of Lecture Notes in Computer Science, page 301-310. Springer, (2000)Theory Links in Semantic Graphs., and . CADE, volume 230 of Lecture Notes in Computer Science, page 353-364. Springer, (1986)