Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Zbigniew Stachniak
@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} }
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.