Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Erik Rosenthal
@article{DBLP:journals/logcom/MatusiewiczMOR17, author = {Andrew Matusiewicz and Neil V. Murray and Paul W. Olsen and Erik Rosenthal}, title = {Computing prime implicates by pruning the search space and accelerating subsumption}, journal = {J. Log. Comput.}, volume = {27}, number = {4}, pages = {961--983}, year = {2017}, url = {https://doi.org/10.1093/logcom/exv071}, doi = {10.1093/LOGCOM/EXV071}, timestamp = {Thu, 14 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/MatusiewiczMOR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismis/MatusiewiczMR11, author = {Andrew Matusiewicz and Neil V. Murray and Erik Rosenthal}, editor = {Marzena Kryszkiewicz and Henryk Rybinski and Andrzej Skowron and Zbigniew W. Ras}, title = {Tri-Based Set Operations and Selective Computation of Prime Implicates}, booktitle = {Foundations of Intelligent Systems - 19th International Symposium, {ISMIS} 2011, Warsaw, Poland, June 28-30, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6804}, pages = {203--213}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21916-0\_23}, doi = {10.1007/978-3-642-21916-0\_23}, timestamp = {Thu, 14 Oct 2021 10:09:10 +0200}, biburl = {https://dblp.org/rec/conf/ismis/MatusiewiczMR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/MurrayR10, author = {Neil V. Murray and Erik Rosenthal}, title = {Identifying Prime Implicate Branches in Reduced Implicate Tries}, journal = {Fundam. Informaticae}, volume = {99}, number = {2}, pages = {227--243}, year = {2010}, url = {https://doi.org/10.3233/FI-2010-247}, doi = {10.3233/FI-2010-247}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/MurrayR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/kais/MurrayR10, author = {Neil V. Murray and Erik Rosenthal}, title = {Linear response time for implicate and implicant queries}, journal = {Knowl. Inf. Syst.}, volume = {22}, number = {3}, pages = {287--317}, year = {2010}, url = {https://doi.org/10.1007/s10115-009-0199-x}, doi = {10.1007/S10115-009-0199-X}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/kais/MurrayR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/MurrayR10, author = {Neil V. Murray and Erik Rosenthal}, title = {Reduced Implicate Tries with Updates}, journal = {J. Log. Comput.}, volume = {20}, number = {1}, pages = {261--281}, year = {2010}, url = {https://doi.org/10.1093/logcom/exn068}, doi = {10.1093/LOGCOM/EXN068}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/MurrayR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/MatusiewiczMR10, author = {Andrew Matusiewicz and Neil V. Murray and Erik Rosenthal}, editor = {Renate A. Schmidt and Stephan Schulz and Boris Konev}, title = {Trie Based Subsumption and Improving the pi-Trie Algorithm}, booktitle = {Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010}, series = {EPiC Series in Computing}, volume = {9}, pages = {74--83}, publisher = {EasyChair}, year = {2010}, url = {https://doi.org/10.29007/q7h3}, doi = {10.29007/Q7H3}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/MatusiewiczMR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ic3k/MatusiewiczMR09, author = {Andrew Matusiewicz and Neil V. Murray and Erik Rosenthal}, editor = {Jan L. G. Dietz}, title = {Reduced Implicate Tries and Logical Operations}, booktitle = {{KEOD} 2009 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Funchal - Madeira, Portugal, October 6-8, 2009}, pages = {456--459}, publisher = {{INSTICC} Press}, year = {2009}, timestamp = {Thu, 27 Oct 2011 12:41:52 +0200}, biburl = {https://dblp.org/rec/conf/ic3k/MatusiewiczMR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismis/MurrayR09, author = {Neil V. Murray and Erik Rosenthal}, editor = {Jan Rauch and Zbigniew W. Ras and Petr Berka and Tapio Elomaa}, title = {Prime Implicates and Reduced Implicate Tries}, booktitle = {Foundations of Intelligent Systems, 18th International Symposium, {ISMIS} 2009, Prague, Czech Republic, September 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5722}, pages = {191--200}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04125-9\_22}, doi = {10.1007/978-3-642-04125-9\_22}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/ismis/MurrayR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tableaux/MatusiewiczMR09, author = {Andrew Matusiewicz and Neil V. Murray and Erik Rosenthal}, editor = {Martin Giese and Arild Waaler}, title = {Prime Implicate Tries}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, {TABLEAUX} 2009, Oslo, Norway, July 6-10, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5607}, pages = {250--264}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02716-1\_19}, doi = {10.1007/978-3-642-02716-1\_19}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/tableaux/MatusiewiczMR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismis/MurrayR08, author = {Neil V. Murray and Erik Rosenthal}, editor = {Aijun An and Stan Matwin and Zbigniew W. Ras and Dominik Slezak}, title = {Reduced Implicate/Implicant Tries}, booktitle = {Foundations of Intelligent Systems, 17th International Symposium, {ISMIS} 2008, Toronto, Canada, May 20-23, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4994}, pages = {203--214}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68123-6\_23}, doi = {10.1007/978-3-540-68123-6\_23}, timestamp = {Mon, 28 Aug 2023 21:17:48 +0200}, biburl = {https://dblp.org/rec/conf/ismis/MurrayR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/MurrayR07, author = {Neil V. Murray and Erik Rosenthal}, title = {Efficient Query Processing with Reduced Implicate Tries}, journal = {J. Autom. Reason.}, volume = {38}, number = {1-3}, pages = {155--172}, year = {2007}, url = {https://doi.org/10.1007/s10817-006-9054-x}, doi = {10.1007/S10817-006-9054-X}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/MurrayR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tableaux/MurrayR07, author = {Neil V. Murray and Erik Rosenthal}, editor = {Nicola Olivetti}, title = {Updating Reduced Implicate Tries}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, {TABLEAUX} 2007, Aix en Provence, France, July 3-6, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4548}, pages = {183--198}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73099-6\_15}, doi = {10.1007/978-3-540-73099-6\_15}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/tableaux/MurrayR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mvl/LuMR05, author = {James J. Lu and Neil V. Murray and Erik Rosenthal}, title = {Deduction and Search Strategies for Regular Multiple-Valued Logics}, journal = {J. Multiple Valued Log. Soft Comput.}, volume = {11}, number = {3-4}, pages = {375--406}, year = {2005}, url = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-11-number-3-4-2005/mvlsc-11-3-4-p-375-406/}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mvl/LuMR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismis/MurrayR05, author = {Neil V. Murray and Erik Rosenthal}, editor = {Mohand{-}Said Hacid and Neil V. Murray and Zbigniew W. Ras and Shusaku Tsumoto}, title = {Duality in Knowledge Compilation Techniques}, booktitle = {Foundations of Intelligent Systems, 15th International Symposium, {ISMIS} 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3488}, pages = {182--190}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11425274\_19}, doi = {10.1007/11425274\_19}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/ismis/MurrayR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismis/HahnleMR05, author = {Reiner H{\"{a}}hnle and Neil V. Murray and Erik Rosenthal}, editor = {Mohand{-}Said Hacid and Neil V. Murray and Zbigniew W. Ras and Shusaku Tsumoto}, title = {Normal Forms for Knowledge Compilation}, booktitle = {Foundations of Intelligent Systems, 15th International Symposium, {ISMIS} 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3488}, pages = {304--313}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11425274\_32}, doi = {10.1007/11425274\_32}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ismis/HahnleMR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tableaux/Rosenthal05, author = {Erik Rosenthal}, editor = {Bernhard Beckert}, title = {Formal Versus Rigorous Mathematics: How to Get Your Papers Published}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3702}, pages = {15--32}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11554554\_4}, doi = {10.1007/11554554\_4}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/tableaux/Rosenthal05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tableaux/MurrayR05, author = {Neil V. Murray and Erik Rosenthal}, editor = {Bernhard Beckert}, title = {Efficient Query Processing with Compiled Knowledge Bases}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3702}, pages = {231--244}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11554554\_18}, doi = {10.1007/11554554\_18}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tableaux/MurrayR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/HahnleMR04, author = {Reiner H{\"{a}}hnle and Neil V. Murray and Erik Rosenthal}, title = {Linearity and regularity with negation normal form}, journal = {Theor. Comput. Sci.}, volume = {328}, number = {3}, pages = {325--354}, year = {2004}, url = {https://doi.org/10.1016/j.tcs.2004.09.001}, doi = {10.1016/J.TCS.2004.09.001}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/HahnleMR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tableaux/MurrayR03, author = {Neil V. Murray and Erik Rosenthal}, editor = {Marta Cialdea Mayer and Fiora Pirri}, title = {Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, {TABLEAUX} 2003, Rome, Italy, September 9-12, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2796}, pages = {165--180}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45206-5\_14}, doi = {10.1007/978-3-540-45206-5\_14}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/tableaux/MurrayR03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismis/LuMRRR02, author = {James J. Lu and Neil V. Murray and Heydar Radjavi and Erik Rosenthal and Peter Rosenthal}, editor = {Mohand{-}Said Hacid and Zbigniew W. Ras and Djamel A. Zighed and Yves Kodratoff}, title = {Inference for Annotated Logics over Distributive Lattices}, booktitle = {Foundations of Intelligent Systems, 13th International Symposium, {ISMIS} 2002, Lyon, France, June 27-29, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2366}, pages = {285--293}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-48050-1\_32}, doi = {10.1007/3-540-48050-1\_32}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/ismis/LuMRRR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfi/LeachLMR01, author = {Sonia M. Leach and James J. Lu and Neil V. Murray and Erik Rosenthal}, title = {{\(\mho\)}-resolution and hybrid knowledge bases}, journal = {J. Frankl. Inst.}, volume = {338}, number = {5}, pages = {583--600}, year = {2001}, url = {https://doi.org/10.1016/S0016-0032(01)00022-9}, doi = {10.1016/S0016-0032(01)00022-9}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jfi/LeachLMR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/HahnleMR01, author = {Reiner H{\"{a}}hnle and Neil V. Murray and Erik Rosenthal}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Ordered Resolution vs. Connection Graph Resolution}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {182--194}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_14}, doi = {10.1007/3-540-45744-5\_14}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/HahnleMR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismis/LuMR00, author = {James J. Lu and Neil V. Murray and Erik Rosenthal}, editor = {Zbigniew W. Ras and Setsuo Ohsuga}, title = {Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics}, booktitle = {Foundations of Intelligent Systems, 12th International Symposium, {ISMIS} 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1932}, pages = {301--310}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-39963-1\_32}, doi = {10.1007/3-540-39963-1\_32}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/ismis/LuMR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/LuMR99, author = {James J. Lu and Neil V. Murray and Erik Rosenthal}, editor = {C. Pandu Rangan and Venkatesh Raman and Ramaswamy Ramanujam}, title = {A Foundation for Hybrid Knowledge Bases}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, 19th Conference, Chennai, India, December 13-15, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1738}, pages = {155--167}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-46691-6\_12}, doi = {10.1007/3-540-46691-6\_12}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/LuMR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/LuMR98, author = {James J. Lu and Neil V. Murray and Erik Rosenthal}, title = {A Framework for Automated Reasoning in Multiple-Valued Logics}, journal = {J. Autom. Reason.}, volume = {21}, number = {1}, pages = {39--67}, year = {1998}, url = {https://doi.org/10.1023/A:1005784309139}, doi = {10.1023/A:1005784309139}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/LuMR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/LeachLMR98, author = {Sonia M. Leach and James J. Lu and Neil V. Murray and Erik Rosenthal}, editor = {J{\"{u}}rgen Dix and Luis Fari{\~{n}}as del Cerro and Ulrich Furbach}, title = {Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics}, booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1489}, pages = {154--168}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-49545-2\_11}, doi = {10.1007/3-540-49545-2\_11}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/jelia/LeachLMR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tableaux/HahnleMR98, author = {Reiner H{\"{a}}hnle and Neil V. Murray and Erik Rosenthal}, editor = {Harrie C. M. de Swart}, title = {Some Remarks on Completeness, Connection Graph Resolution and Link Deletion}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1397}, pages = {173--186}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-69778-0\_21}, doi = {10.1007/3-540-69778-0\_21}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/tableaux/HahnleMR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismis/HahnleMR97, author = {Reiner H{\"{a}}hnle and Neil V. Murray and Erik Rosenthal}, editor = {Zbigniew W. Ras and Andrzej Skowron}, title = {Completeness for Linear Regular Negation Normal Form Inference Systems}, booktitle = {Foundations of Intelligent Systems, 10th International Symposium, {ISMIS} '97, Charlotte, North Carolina, USA, October 15-18, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1325}, pages = {590--599}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63614-5\_57}, doi = {10.1007/3-540-63614-5\_57}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/ismis/HahnleMR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/crc/tucker97/LuR97, author = {James J. Lu and Erik Rosenthal}, editor = {Allen B. Tucker}, title = {Logic-Based Deductive Reasoning}, booktitle = {The Computer Science and Engineering Handbook}, pages = {654--675}, publisher = {{CRC} Press}, year = {1997}, timestamp = {Sun, 09 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/crc/tucker97/LuR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/MurrayR94, author = {Neil V. Murray and Erik Rosenthal}, title = {Adapting Classical Inference Techniques to Multiple-Valued Logics Using Signed Formulas}, journal = {Fundam. Informaticae}, volume = {21}, number = {3}, pages = {237--253}, year = {1994}, url = {https://doi.org/10.3233/FI-1994-2135}, doi = {10.3233/FI-1994-2135}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/MurrayR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/MurrayR94, author = {Neil V. Murray and Erik Rosenthal}, title = {On the Computational Intractabilityof Analytic Tableau Methods}, journal = {Bull. {IGPL}}, volume = {2}, number = {2}, pages = {205--228}, year = {1994}, url = {https://doi.org/10.1093/jigpal/2.2.205}, doi = {10.1093/JIGPAL/2.2.205}, timestamp = {Tue, 19 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/igpl/MurrayR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/MurrayR94, author = {Neil V. Murray and Erik Rosenthal}, title = {On the Relative Merits of Path Dissolution and the Method of Analytic Tableaux}, journal = {Theor. Comput. Sci.}, volume = {131}, number = {1}, pages = {1--28}, year = {1994}, url = {https://doi.org/10.1016/0304-3975(94)90089-2}, doi = {10.1016/0304-3975(94)90089-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/MurrayR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismis/LuMR94, author = {James J. Lu and Neil V. Murray and Erik Rosenthal}, editor = {Zbigniew W. Ras and Maria Zemankova}, title = {Signed Formulas and Fuzzy Operator Logics}, booktitle = {Methodologies for Intelligent Systems, 8th International Symposium, {ISMIS} '94, Charlotte, North Carolina, USA, October 16-19, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {869}, pages = {75--84}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58495-1\_8}, doi = {10.1007/3-540-58495-1\_8}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/ismis/LuMR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/MurrayR93, author = {Neil V. Murray and Erik Rosenthal}, title = {Dissolution: Making Paths Vanish}, journal = {J. {ACM}}, volume = {40}, number = {3}, pages = {504--535}, year = {1993}, url = {https://doi.org/10.1145/174130.174135}, doi = {10.1145/174130.174135}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/MurrayR93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismis/MurrayR93, author = {Neil V. Murray and Erik Rosenthal}, editor = {Henryk Jan Komorowski and Zbigniew W. Ras}, title = {Signed Formulas: {A} Liftable Meta-Logic for Multiple-Valued Logics}, booktitle = {Methodologies for Intelligent Systems, 7th International Symposium, {ISMIS} '93, Trondheim, Norway, June 15-18, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {689}, pages = {275--284}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-56804-2\_26}, doi = {10.1007/3-540-56804-2\_26}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/ismis/MurrayR93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismvl/LuMR93, author = {James J. Lu and Neil V. Murray and Erik Rosenthal}, title = {Signed Formulas and Annotated Logics}, booktitle = {23rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 1993, Sacramento, California, USA, May 24-27, 1993, Proceedings}, pages = {48--53}, publisher = {{IEEE} Computer Society}, year = {1993}, url = {https://doi.org/10.1109/ISMVL.1993.289582}, doi = {10.1109/ISMVL.1993.289582}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ismvl/LuMR93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismis/MurrayR91, author = {Neil V. Murray and Erik Rosenthal}, editor = {Zbigniew W. Ras and Maria Zemankova}, title = {Resolution and Path Dissolution in Multi-Valued Logics}, booktitle = {Methodologies for Intelligent Systems, 6th International Symposium, {ISMIS} '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {542}, pages = {570--579}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54563-8\_120}, doi = {10.1007/3-540-54563-8\_120}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/ismis/MurrayR91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismvl/MurrayR91, author = {Neil V. Murray and Erik Rosenthal}, title = {Improving Tableau Deductions in Multiple-Valued Logics}, booktitle = {Proceedings of the 21st International Symposium on Multiple-Valued Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991}, pages = {230--237}, publisher = {{IEEE} Computer Society}, year = {1991}, url = {https://doi.org/10.1109/ISMVL.1991.130735}, doi = {10.1109/ISMVL.1991.130735}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ismvl/MurrayR91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/MurrayR90, author = {Neil V. Murray and Erik Rosenthal}, editor = {Mark E. Stickel}, title = {{DISSOLVER:} {A} Dissolution-based Theorem Prover}, booktitle = {10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {449}, pages = {665--666}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-52885-7\_132}, doi = {10.1007/3-540-52885-7\_132}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/MurrayR90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/MurrayR90, author = {Neil V. Murray and Erik Rosenthal}, editor = {Shunro Watanabe and Morio Nagata}, title = {Reexamining Intractability of Tableau Methods}, booktitle = {Proceedings of the International Symposium on Symbolic and Algebraic Computation, {ISSAC} '90, Tokyo, Japan, August 20-24, 1990}, pages = {52--59}, publisher = {{ACM}}, year = {1990}, url = {https://doi.org/10.1145/96877.96894}, doi = {10.1145/96877.96894}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/MurrayR90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/MurrayR89, author = {Neil V. Murray and Erik Rosenthal}, editor = {Gaston H. Gonnet}, title = {Employing Path Dissolution to Shorten Tableaux Proofs}, booktitle = {Proceedings of the {ACM-SIGSAM} 1989 International Symposium on Symbolic and Algebraic Computation, {ISSAC} '89, Portland, Oregon, USA, July 17-19, 1989}, pages = {373--381}, publisher = {{ACM}}, year = {1989}, url = {https://doi.org/10.1145/74540.74584}, doi = {10.1145/74540.74584}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/MurrayR89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/MurrayR88, author = {Neil V. Murray and Erik Rosenthal}, editor = {Ewing L. Lusk and Ross A. Overbeek}, title = {An Implementation of a Dissolution-Based System Employing Theory Links}, booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {310}, pages = {658--674}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/BFb0012864}, doi = {10.1007/BFB0012864}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/MurrayR88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/MurrayR87, author = {Neil V. Murray and Erik Rosenthal}, title = {Inference with path resolution and semantic graphs}, journal = {J. {ACM}}, volume = {34}, number = {2}, pages = {225--254}, year = {1987}, url = {https://doi.org/10.1145/23005.23716}, doi = {10.1145/23005.23716}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/MurrayR87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsc/MurrayR87, author = {Neil V. Murray and Erik Rosenthal}, title = {Theory Links: Applications to Automated Theorem Proving}, journal = {J. Symb. Comput.}, volume = {4}, number = {2}, pages = {173--190}, year = {1987}, url = {https://doi.org/10.1016/S0747-7171(87)80064-0}, doi = {10.1016/S0747-7171(87)80064-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/MurrayR87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/MurrayR87, author = {Neil V. Murray and Erik Rosenthal}, editor = {Kenneth D. Forbus and Howard E. Shrobe}, title = {Path Dissolution: {A} Strongly Complete Rule of Inference}, booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, WA, USA, July 1987}, pages = {161--166}, publisher = {Morgan Kaufmann}, year = {1987}, url = {http://www.aaai.org/Library/AAAI/1987/aaai87-029.php}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/MurrayR87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismis/MurrayR87, author = {Neil V. Murray and Erik Rosenthal}, editor = {Zbigniew W. Ras and Maria Zemankova}, title = {Inferencing on an Arbitrary Set of Links}, booktitle = {Methodologies for Intelligent Systems, Proceedings of the Second International Symposium, Charlotte, North Carolina, USA, October 14-17, 1987}, pages = {416--423}, publisher = {North-Holland/Elsevier}, year = {1987}, timestamp = {Mon, 22 May 2017 09:57:27 +0200}, biburl = {https://dblp.org/rec/conf/ismis/MurrayR87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/MurrayR86, author = {Neil V. Murray and Erik Rosenthal}, editor = {J{\"{o}}rg H. Siekmann}, title = {Theory Links in Semantic Graphs}, booktitle = {8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {230}, pages = {353--364}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-16780-3\_102}, doi = {10.1007/3-540-16780-3\_102}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/MurrayR86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaecc/MurrayR85, author = {Neil V. Murray and Erik Rosenthal}, editor = {Jacques Calmet}, title = {On Deleting Links in Semantic Graphs}, booktitle = {Algebraic Algorithms and Error-Correcting Codes, 3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {229}, pages = {404--415}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16776-5\_745}, doi = {10.1007/3-540-16776-5\_745}, timestamp = {Fri, 17 Jul 2020 16:12:48 +0200}, biburl = {https://dblp.org/rec/conf/aaecc/MurrayR85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/MurrayR85, author = {Neil V. Murray and Erik Rosenthal}, editor = {Bob F. Caviness}, title = {Path Resolution and Semantic Graphs}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {50--63}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_238}, doi = {10.1007/3-540-15984-3\_238}, timestamp = {Tue, 29 Aug 2023 20:47:14 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/MurrayR85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/MurrayR85, author = {Neil V. Murray and Erik Rosenthal}, editor = {Aravind K. Joshi}, title = {Path Resolution with Link Deletion}, booktitle = {Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, CA, USA, August 1985}, pages = {1187--1193}, publisher = {Morgan Kaufmann}, year = {1985}, url = {http://ijcai.org/Proceedings/85-2/Papers/102.pdf}, timestamp = {Tue, 20 Aug 2019 16:19:04 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/MurrayR85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.