BibTeX records: Zbigniew Stachniak

download as .bib file

@article{DBLP:journals/annals/StachniakW20,
  author       = {Zbigniew Stachniak},
  title        = {Learning From Prototypes},
  journal      = {{IEEE} Ann. Hist. Comput.},
  volume       = {42},
  number       = {2},
  pages        = {63--71},
  year         = {2020},
  url          = {https://doi.org/10.1109/MAHC.2020.2987408},
  doi          = {10.1109/MAHC.2020.2987408},
  timestamp    = {Wed, 23 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/annals/StachniakW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/annals/StachniakW19,
  author       = {Zbigniew Stachniak},
  title        = {Software Recovery and Beyond},
  journal      = {{IEEE} Ann. Hist. Comput.},
  volume       = {41},
  number       = {4},
  pages        = {110--118},
  year         = {2019},
  url          = {https://doi.org/10.1109/MAHC.2019.2938037},
  doi          = {10.1109/MAHC.2019.2938037},
  timestamp    = {Wed, 23 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/annals/StachniakW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/annals/Stachniak17,
  author       = {Zbigniew Stachniak},
  title        = {{MCM} on Personal Software},
  journal      = {{IEEE} Ann. Hist. Comput.},
  volume       = {39},
  number       = {1},
  pages        = {52--64},
  year         = {2017},
  url          = {https://doi.org/10.1109/MAHC.2016.13},
  doi          = {10.1109/MAHC.2016.13},
  timestamp    = {Fri, 07 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/annals/Stachniak17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/annals/Stachniak15,
  author       = {Zbigniew Stachniak},
  title        = {Red Clones: The Soviet Computer Hobby Movement of the 1980s},
  journal      = {{IEEE} Ann. Hist. Comput.},
  volume       = {37},
  number       = {1},
  pages        = {12--23},
  year         = {2015},
  url          = {https://doi.org/10.1109/MAHC.2015.11},
  doi          = {10.1109/MAHC.2015.11},
  timestamp    = {Fri, 07 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/annals/Stachniak15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/annals/Stachniak14,
  author       = {Zbigniew Stachniak},
  title        = {Early Commercial Electronic Distribution of Software},
  journal      = {{IEEE} Ann. Hist. Comput.},
  volume       = {36},
  number       = {1},
  pages        = {39--51},
  year         = {2014},
  url          = {https://doi.org/10.1109/MAHC.2013.55},
  doi          = {10.1109/MAHC.2013.55},
  timestamp    = {Fri, 07 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/annals/Stachniak14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/annals/Stachniak13,
  author       = {Zbigniew Stachniak},
  title        = {This Is Not a Computer: Negotiating the Microprocessor},
  journal      = {{IEEE} Ann. Hist. Comput.},
  volume       = {35},
  number       = {4},
  pages        = {48--54},
  year         = {2013},
  url          = {https://doi.org/10.1109/MAHC.2013.15},
  doi          = {10.1109/MAHC.2013.15},
  timestamp    = {Fri, 07 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/annals/Stachniak13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelovJS11,
  author       = {Anton Belov and
                  Matti J{\"{a}}rvisalo and
                  Zbigniew Stachniak},
  editor       = {Toby Walsh},
  title        = {Depth-Driven Circuit-Level Stochastic Local Search for {SAT}},
  booktitle    = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
                  on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
                  2011},
  pages        = {504--509},
  publisher    = {{IJCAI/AAAI}},
  year         = {2011},
  url          = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-092},
  doi          = {10.5591/978-1-57735-516-8/IJCAI11-092},
  timestamp    = {Tue, 20 Aug 2019 16:16:04 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BelovJS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/annals/Stachniak10,
  author       = {Zbigniew Stachniak},
  title        = {The {MIL} {MF7114} Microprocessor},
  journal      = {{IEEE} Ann. Hist. Comput.},
  volume       = {32},
  number       = {4},
  pages        = {48--59},
  year         = {2010},
  url          = {https://doi.org/10.1109/MAHC.2009.62},
  doi          = {10.1109/MAHC.2009.62},
  timestamp    = {Fri, 07 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/annals/Stachniak10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BelovS10,
  author       = {Anton Belov and
                  Zbigniew Stachniak},
  editor       = {Ofer Strichman and
                  Stefan Szeider},
  title        = {Improved Local Search for Circuit Satisfiability},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2010, 13th
                  International Conference, {SAT} 2010, Edinburgh, UK, July 11-14, 2010.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6175},
  pages        = {293--299},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14186-7\_24},
  doi          = {10.1007/978-3-642-14186-7\_24},
  timestamp    = {Sat, 19 Oct 2019 20:28:15 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/BelovS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BelovS09,
  author       = {Anton Belov and
                  Zbigniew Stachniak},
  editor       = {Oliver Kullmann},
  title        = {Improving Variable Selection Process in Stochastic Local Search for
                  Propositional Satisfiability},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2009, 12th
                  International Conference, {SAT} 2009, Swansea, UK, June 30 - July
                  3, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5584},
  pages        = {258--264},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02777-2\_25},
  doi          = {10.1007/978-3-642-02777-2\_25},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/BelovS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/StachniakB08,
  author       = {Zbigniew Stachniak and
                  Anton Belov},
  title        = {Weighting strategy for non-clausal resolution},
  journal      = {J. Exp. Theor. Artif. Intell.},
  volume       = {20},
  number       = {1},
  pages        = {61--78},
  year         = {2008},
  url          = {https://doi.org/10.1080/09528130701475617},
  doi          = {10.1080/09528130701475617},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetai/StachniakB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/StachniakB08,
  author       = {Zbigniew Stachniak and
                  Anton Belov},
  editor       = {Hans Kleine B{\"{u}}ning and
                  Xishun Zhao},
  title        = {Speeding-Up Non-clausal Local Search for Propositional Satisfiability
                  with Clause Learning},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2008, 11th
                  International Conference, {SAT} 2008, Guangzhou, China, May 12-15,
                  2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4996},
  pages        = {257--270},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-79719-7\_24},
  doi          = {10.1007/978-3-540-79719-7\_24},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/StachniakB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/wiley/Stachniak08,
  author       = {Zbigniew Stachniak},
  editor       = {Benjamin W. Wah},
  title        = {Microcomputers},
  booktitle    = {Wiley Encyclopedia of Computer Science and Engineering},
  publisher    = {John Wiley {\&} Sons, Inc.},
  year         = {2008},
  url          = {https://doi.org/10.1002/9780470050118.ecse238},
  doi          = {10.1002/9780470050118.ECSE238},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/wiley/Stachniak08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/annals/Stachniak07,
  author       = {Zbigniew Stachniak},
  title        = {Intel {SIM8-01:} {A} Proto-PC},
  journal      = {{IEEE} Ann. Hist. Comput.},
  volume       = {29},
  number       = {1},
  pages        = {34--48},
  year         = {2007},
  url          = {https://doi.org/10.1109/MAHC.2007.9},
  doi          = {10.1109/MAHC.2007.9},
  timestamp    = {Fri, 07 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/annals/Stachniak07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BelovS05,
  author       = {Anton Belov and
                  Zbigniew Stachniak},
  editor       = {Fahiem Bacchus and
                  Toby Walsh},
  title        = {Substitutional Definition of Satisfiability in Classical Propositional
                  Logic},
  booktitle    = {Theory and Applications of Satisfiability Testing, 8th International
                  Conference, {SAT} 2005, St. Andrews, UK, June 19-23, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3569},
  pages        = {31--45},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11499107\_3},
  doi          = {10.1007/11499107\_3},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/BelovS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Stachniak04,
  author       = {Zbigniew Stachniak},
  editor       = {Bruno Buchberger and
                  John A. Campbell},
  title        = {Finite Algebras and {AI:} From Matrix Semantics to Stochastic Local
                  Search},
  booktitle    = {Artificial Intelligence and Symbolic Computation, 7th International
                  Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3249},
  pages        = {8--14},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30210-0\_2},
  doi          = {10.1007/978-3-540-30210-0\_2},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/Stachniak04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Stachniak04,
  author       = {Zbigniew Stachniak},
  title        = {A Note on Satisfying Truth-Value Assignments of Boolean Formulas},
  booktitle    = {{SAT} 2004 - The Seventh International Conference on Theory and Applications
                  of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada,
                  Online Proceedings},
  year         = {2004},
  url          = {http://www.satisfiability.org/SAT04/programme/52.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/Stachniak04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/annals/Stachniak03,
  author       = {Zbigniew Stachniak},
  title        = {The Making of the {MCM/70} Microcomputer},
  journal      = {{IEEE} Ann. Hist. Comput.},
  volume       = {25},
  number       = {2},
  pages        = {62--75},
  year         = {2003},
  url          = {https://doi.org/10.1109/MAHC.2003.1203059},
  doi          = {10.1109/MAHC.2003.1203059},
  timestamp    = {Fri, 07 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/annals/Stachniak03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Stachniak01,
  author       = {Zbigniew Stachniak},
  title        = {Non-Clausal Reasoning with Definite Theories},
  journal      = {Fundam. Informaticae},
  volume       = {48},
  number       = {4},
  pages        = {363--388},
  year         = {2001},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi48-4-04},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Stachniak01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Stachniak01,
  author       = {Zbigniew Stachniak},
  title        = {Exploiting Polarity in Multiple-Valued Inference Systems},
  booktitle    = {31st {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2001, Warsaw, Poland, May 22-24, 2001, Proceedings},
  pages        = {149--158},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ISMVL.2001.924566},
  doi          = {10.1109/ISMVL.2001.924566},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/Stachniak01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Stachniak99,
  author       = {Zbigniew Stachniak},
  editor       = {Jim Hendler and
                  Devika Subramanian},
  title        = {Polarity Guided Tractable Reasoning},
  booktitle    = {Proceedings of the Sixteenth National Conference on Artificial Intelligence
                  and Eleventh Conference on Innovative Applications of Artificial Intelligence,
                  July 18-22, 1999, Orlando, Florida, {USA}},
  pages        = {751--758},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1999},
  url          = {http://www.aaai.org/Library/AAAI/1999/aaai99-107.php},
  timestamp    = {Tue, 05 Sep 2023 09:10:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Stachniak99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Stachniak98,
  author       = {Zbigniew Stachniak},
  title        = {On Finitely-Valued Inference Systems},
  journal      = {Stud Logica},
  volume       = {61},
  number       = {1},
  pages        = {149--169},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005090516356},
  doi          = {10.1023/A:1005090516356},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Stachniak98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Stachniak98,
  author       = {Zbigniew Stachniak},
  editor       = {Jacques Calmet and
                  Jan A. Plaza},
  title        = {Non-clausal Reasoning with Propositional Definite Theories},
  booktitle    = {Artificial Intelligence and Symbolic Computation, International Conference
                  AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1476},
  pages        = {296--307},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055921},
  doi          = {10.1007/BFB0055921},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/Stachniak98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0088973,
  author       = {Zbigniew Stachniak},
  title        = {Resolution proof systems - an algebraic theory},
  series       = {Automated reasoning series},
  volume       = {4},
  publisher    = {Kluwer},
  year         = {1996},
  isbn         = {978-0-7923-4017-1},
  timestamp    = {Fri, 19 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0088973.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Stachniak95,
  author       = {Zbigniew Stachniak},
  title        = {Nonmonotonic Theories and Their Axiomatic Varieties},
  journal      = {J. Log. Lang. Inf.},
  volume       = {4},
  number       = {4},
  pages        = {317--334},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01049473},
  doi          = {10.1007/BF01049473},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Stachniak95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/Stachniak94,
  author       = {Zbigniew Stachniak},
  editor       = {Zbigniew W. Ras and
                  Maria Zemankova},
  title        = {Fast Termination of the Deductive Process in Resolution Proof Systems
                  for Non-Classical 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        = {604--613},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58495-1\_60},
  doi          = {10.1007/3-540-58495-1\_60},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ismis/Stachniak94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Stachniak94,
  author       = {Zbigniew Stachniak},
  title        = {Lattices of Resolution Logics},
  booktitle    = {24th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  1994, Boston, Massachusetts, USA, May 25-27, 1994, Proceedings},
  pages        = {108--114},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/ISMVL.1994.302214},
  doi          = {10.1109/ISMVL.1994.302214},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/Stachniak94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Stachniak93,
  author       = {Zbigniew Stachniak},
  title        = {An essay on resolution logics},
  journal      = {Stud Logica},
  volume       = {52},
  number       = {2},
  pages        = {309--322},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01058394},
  doi          = {10.1007/BF01058394},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Stachniak93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Stachniak93,
  author       = {Zbigniew Stachniak},
  editor       = {Richard Fikes and
                  Wendy G. Lehnert},
  title        = {Algebraic Sematics for Cumulative Inference Operations},
  booktitle    = {Proceedings of the 11th National Conference on Artificial Intelligence.
                  Washington, DC, USA, July 11-15, 1993},
  pages        = {444--449},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1993},
  url          = {http://www.aaai.org/Library/AAAI/1993/aaai93-067.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Stachniak93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/HarleyS93,
  author       = {E. R. Harley and
                  Zbigniew Stachniak},
  title        = {Minimal Resolution Proof Systems for Finitely-Valued Lukasiewicz Logics},
  booktitle    = {23rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  1993, Sacramento, California, USA, May 24-27, 1993, Proceedings},
  pages        = {54--59},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISMVL.1993.289581},
  doi          = {10.1109/ISMVL.1993.289581},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/HarleyS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Stachniak92,
  author       = {Zbigniew Stachniak},
  title        = {Resolution Approximation of First-Order Logics},
  journal      = {Inf. Comput.},
  volume       = {96},
  number       = {2},
  pages        = {225--244},
  year         = {1992},
  url          = {https://doi.org/10.1016/0890-5401(92)90049-L},
  doi          = {10.1016/0890-5401(92)90049-L},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Stachniak92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/OHearnS92,
  author       = {Peter W. O'Hearn and
                  Zbigniew Stachniak},
  title        = {Resolution Framework for Finitely-Valued First-Order Logics},
  journal      = {J. Symb. Comput.},
  volume       = {13},
  number       = {3},
  pages        = {235--254},
  year         = {1992},
  url          = {https://doi.org/10.1016/S0747-7171(10)80002-1},
  doi          = {10.1016/S0747-7171(10)80002-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/OHearnS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Stachniak91,
  author       = {Zbigniew Stachniak},
  title        = {Minimization of resolution proof systems},
  journal      = {Fundam. Informaticae},
  volume       = {14},
  number       = {1},
  pages        = {129--146},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Stachniak91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/Stachniak91,
  author       = {Zbigniew Stachniak},
  title        = {Extending resolution to resolution logics},
  journal      = {J. Exp. Theor. Artif. Intell.},
  volume       = {3},
  number       = {1},
  pages        = {17--32},
  year         = {1991},
  url          = {https://doi.org/10.1080/09528139108915279},
  doi          = {10.1080/09528139108915279},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetai/Stachniak91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/Stachniak91,
  author       = {Zbigniew Stachniak},
  editor       = {Zbigniew W. Ras and
                  Maria Zemankova},
  title        = {Note on Resolution Circuits},
  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        = {620--629},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54563-8\_125},
  doi          = {10.1007/3-540-54563-8\_125},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ismis/Stachniak91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Stachniak90,
  author       = {Zbigniew Stachniak},
  title        = {Note on Resolution Approximation of Many-Valued Logics},
  booktitle    = {Proceedings of the 20th International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1990, Charlotte, NC, USA, May 23-25, 1990},
  pages        = {204--209},
  publisher    = {{IEEE} Computer Society},
  year         = {1990},
  url          = {https://doi.org/10.1109/ISMVL.1990.122622},
  doi          = {10.1109/ISMVL.1990.122622},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/Stachniak90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Stachniak90,
  author       = {Zbigniew Stachniak},
  editor       = {Shunro Watanabe and
                  Morio Nagata},
  title        = {Resolution Proof Systems with Weak Transformation Rules},
  booktitle    = {Proceedings of the International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '90, Tokyo, Japan, August 20-24, 1990},
  pages        = {38--43},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/96877.96890},
  doi          = {10.1145/96877.96890},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Stachniak90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Stachniak90,
  author       = {Zbigniew Stachniak},
  editor       = {Jan van Eijck},
  title        = {Note on Effective Constructibility of Resolution Proof Systems},
  booktitle    = {Logics in AI, European Workshop, {JELIA} '90, Amsterdam, The Netherlands,
                  September 10-14, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {478},
  pages        = {487--498},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0018461},
  doi          = {10.1007/BFB0018461},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/Stachniak90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Stachniak89,
  author       = {Zbigniew Stachniak},
  title        = {Many-valued computational logics},
  journal      = {J. Philos. Log.},
  volume       = {18},
  number       = {3},
  pages        = {257--274},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00274067},
  doi          = {10.1007/BF00274067},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/Stachniak89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/OHearnS89,
  author       = {Peter W. O'Hearn and
                  Zbigniew Stachniak},
  editor       = {Gaston H. Gonnet},
  title        = {Note on Theorem Proving Strategies for Resolution Counterparts of
                  Non-Classical Logics},
  booktitle    = {Proceedings of the {ACM-SIGSAM} 1989 International Symposium on Symbolic
                  and Algebraic Computation, {ISSAC} '89, Portland, Oregon, USA, July
                  17-19, 1989},
  pages        = {364--372},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/74540.74583},
  doi          = {10.1145/74540.74583},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/OHearnS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/OHearnS89,
  author       = {Peter W. O'Hearn and
                  Zbigniew Stachniak},
  editor       = {Hannu Jaakkola and
                  Seppo Linnainmaa},
  title        = {A Resolution Framework for Finitely-Valued First-Order Logics},
  booktitle    = {Second Scandinavian Conference on Artificial Intelligence 1989, Proceedings
                  of the 2nd SCAI, Tampere, Finland, June 12-15, 1989},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {4},
  pages        = {69--81},
  publisher    = {{IOS} Press},
  year         = {1989},
  timestamp    = {Thu, 01 Aug 2019 11:47:47 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/OHearnS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Stachniak88,
  author       = {Zbigniew Stachniak},
  title        = {Two theorems on many-valued logics},
  journal      = {J. Philos. Log.},
  volume       = {17},
  number       = {2},
  pages        = {171--179},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00247910},
  doi          = {10.1007/BF00247910},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/Stachniak88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aluacs/Stachniak88,
  author       = {Zbigniew Stachniak},
  editor       = {Clifford Bergman and
                  Roger D. Maddux and
                  Don Pigozzi},
  title        = {The resolution rule: an algebraic perspective},
  booktitle    = {Algebraic Logic and Universal Algebra in Computer Science, Conference,
                  Ames, Iowa, USA, June 1-4, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {425},
  pages        = {227--242},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0043087},
  doi          = {10.1007/BFB0043087},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/aluacs/Stachniak88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Stachniak85,
  author       = {Zbigniew Stachniak},
  title        = {Note on Structural Logics},
  journal      = {Math. Log. Q.},
  volume       = {31},
  number       = {19-20},
  pages        = {317--320},
  year         = {1985},
  url          = {https://doi.org/10.1002/malq.19850311906},
  doi          = {10.1002/MALQ.19850311906},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Stachniak85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics