BibTeX records: Erik Rosenthal

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics