BibTeX records: Grigori F. Shvarts

download as .bib file

@article{DBLP:journals/jacm/MarekST93,
  author    = {V. Wiktor Marek and
               Grigori F. Shvarts and
               Miroslaw Truszczynski},
  title     = {Modal Nonmonotonic Logics: Ranges, Characterization, Computation},
  journal   = {J. {ACM}},
  volume    = {40},
  number    = {4},
  pages     = {963--990},
  year      = {1993},
  url       = {https://doi.org/10.1145/153724.153773},
  doi       = {10.1145/153724.153773},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jacm/MarekST93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MarekST91,
  author    = {V. Wiktor Marek and
               Grigori F. Shvarts and
               Miroslaw Truszczynski},
  editor    = {James F. Allen and
               Richard Fikes and
               Erik Sandewall},
  title     = {Modal Nonmonotonic Logics: Ranges, Characterization, Computation},
  booktitle = {Proceedings of the 2nd International Conference on Principles of Knowledge
               Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25,
               1991},
  pages     = {395--404},
  publisher = {Morgan Kaufmann},
  year      = {1991},
  timestamp = {Fri, 18 May 2012 15:02:59 +0200},
  biburl    = {https://dblp.org/rec/conf/kr/MarekST91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/Shvarts90,
  author    = {Grigori F. Shvarts},
  editor    = {Rohit Parikh},
  title     = {Autoepistemic Modal Logics},
  booktitle = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
               about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages     = {97--109},
  publisher = {Morgan Kaufmann},
  year      = {1990},
  timestamp = {Thu, 21 Jun 2018 07:50:57 +0200},
  biburl    = {https://dblp.org/rec/conf/tark/Shvarts90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Shvarts89,
  author    = {Grigori F. Shvarts},
  title     = {Fixed Points in the Propositional Nonmonotonic Logic},
  journal   = {Artif. Intell.},
  volume    = {38},
  number    = {2},
  pages     = {199--206},
  year      = {1989},
  url       = {https://doi.org/10.1016/0004-3702(89)90057-X},
  doi       = {10.1016/0004-3702(89)90057-X},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ai/Shvarts89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Shvarts89,
  author    = {Grigori F. Shvarts},
  editor    = {Albert R. Meyer and
               Michael A. Taitslin},
  title     = {Gentzen Style Systems for {K45} and {K45D}},
  booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
               Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {363},
  pages     = {245--256},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/3-540-51237-3\_20},
  doi       = {10.1007/3-540-51237-3\_20},
  timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl    = {https://dblp.org/rec/conf/ershov/Shvarts89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics