BibTeX records: Xumin Nie

download as .bib file

@article{DBLP:journals/jcst/NieG00,
  author    = {Xumin Nie and
               Qing Guo},
  title     = {Renaming a Set of Non-Horn Clauses},
  journal   = {J. Comput. Sci. Technol.},
  volume    = {15},
  number    = {5},
  pages     = {409--415},
  year      = {2000},
  url       = {https://doi.org/10.1007/BF02950403},
  doi       = {10.1007/BF02950403},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jcst/NieG00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/WuN98,
  author    = {Hong Wu and
               Xumin Nie},
  title     = {Extending {STL} with efficient data structures},
  journal   = {J. Comput. Sci. Technol.},
  volume    = {13},
  number    = {4},
  pages     = {317--324},
  year      = {1998},
  url       = {https://doi.org/10.1007/BF02946621},
  doi       = {10.1007/BF02946621},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jcst/WuN98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Nie97,
  author    = {Xumin Nie},
  title     = {Non-Horn Clause Logic Programming},
  journal   = {Artif. Intell.},
  volume    = {92},
  number    = {1-2},
  pages     = {243--258},
  year      = {1997},
  url       = {https://doi.org/10.1016/S0004-3702(97)00007-6},
  doi       = {10.1016/S0004-3702(97)00007-6},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ai/Nie97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/NieG97,
  author    = {Xumin Nie and
               Qing Guo},
  editor    = {Zbigniew W. Ras and
               Andrzej Skowron},
  title     = {Renaming a Set of Non-Horn Clauses},
  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     = {600--608},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-63614-5\_58},
  doi       = {10.1007/3-540-63614-5\_58},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/ismis/NieG97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KapurNM94,
  author    = {Deepak Kapur and
               Xumin Nie and
               David R. Musser},
  title     = {An Overview of the Tecton Proof System},
  journal   = {Theor. Comput. Sci.},
  volume    = {133},
  number    = {2},
  pages     = {307--339},
  year      = {1994},
  url       = {https://doi.org/10.1016/0304-3975(94)90192-9},
  doi       = {10.1016/0304-3975(94)90192-9},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcs/KapurNM94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/NieP92,
  author    = {Xumin Nie and
               David A. Plaisted},
  title     = {A Semantic Backward Chaining Proof System},
  journal   = {Artif. Intell.},
  volume    = {55},
  number    = {1},
  pages     = {109--128},
  year      = {1992},
  url       = {https://doi.org/10.1016/0004-3702(92)90044-X},
  doi       = {10.1016/0004-3702(92)90044-X},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ai/NieP92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/KapurMN92,
  author    = {Deepak Kapur and
               David R. Musser and
               Xumin Nie},
  editor    = {Vangalur S. Alagar and
               Laks V. S. Lakshmanan and
               Fereidoon Sadri},
  title     = {The Tecton Proof System},
  booktitle = {Formal Methods in Databases and Software Engineering, Proceedings
               of the Workshop on Formal Methods in Databases and Software Engineering,
               Montreal, Canada, 15-16 May 1992},
  series    = {Workshops in Computing},
  pages     = {54--79},
  publisher = {Springer},
  year      = {1992},
  timestamp = {Thu, 20 Feb 2003 15:10:07 +0100},
  biburl    = {https://dblp.org/rec/conf/db-workshops/KapurMN92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/Nie91,
  author    = {Xumin Nie},
  editor    = {Zbigniew W. Ras and
               Maria Zemankova},
  title     = {How Well Are Non-Horn Clauses Handled?},
  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     = {580--588},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/3-540-54563-8\_121},
  doi       = {10.1007/3-540-54563-8\_121},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/ismis/Nie91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/AgarwalMKN91,
  author    = {Raj Agarwal and
               David R. Musser and
               Deepak Kapur and
               Xumin Nie},
  editor    = {Ronald V. Book},
  title     = {The Tecton Proof System},
  booktitle = {Rewriting Techniques and Applications, 4th International Conference,
               RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {488},
  pages     = {442--444},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/3-540-53904-2\_119},
  doi       = {10.1007/3-540-53904-2\_119},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/conf/rta/AgarwalMKN91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/NieP90,
  author    = {Xumin Nie and
               David A. Plaisted},
  title     = {Experimental Results on Subgoal Reordering},
  journal   = {{IEEE} Trans. Computers},
  volume    = {39},
  number    = {6},
  pages     = {845--848},
  year      = {1990},
  url       = {https://doi.org/10.1109/12.53609},
  doi       = {10.1109/12.53609},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tc/NieP90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NieP90,
  author    = {Xumin Nie and
               David A. Plaisted},
  editor    = {Mark E. Stickel},
  title     = {A Complete Semantic Back Chaining Proof System},
  booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
               FRG, July 24-27, 1990, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {449},
  pages     = {16--27},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/3-540-52885-7\_76},
  doi       = {10.1007/3-540-52885-7\_76},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/NieP90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/NieP89,
  author    = {Xumin Nie and
               David A. Plaisted},
  title     = {Refinements to Depth-First Iterative-Deepening Search in Automatic
               Theorem Proving},
  journal   = {Artif. Intell.},
  volume    = {41},
  number    = {2},
  pages     = {223--235},
  year      = {1989},
  url       = {https://doi.org/10.1016/0004-3702(89)90011-8},
  doi       = {10.1016/0004-3702(89)90011-8},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ai/NieP89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics