Zbigniew Stachniak
York University, Toronto, ON, Canada
Zbigniew Stachniak
Learning From Prototypes.
63-71
2020
42
IEEE Ann. Hist. Comput.
2
https://doi.org/10.1109/MAHC.2020.2987408
db/journals/annals/annals42.html#StachniakW20
Zbigniew Stachniak
Software Recovery and Beyond.
110-118
2019
41
IEEE Ann. Hist. Comput.
4
https://doi.org/10.1109/MAHC.2019.2938037
db/journals/annals/annals41.html#StachniakW19
Zbigniew Stachniak
MCM on Personal Software.
52-64
2017
39
IEEE Ann. Hist. Comput.
1
https://doi.org/10.1109/MAHC.2016.13
http://doi.ieeecomputersociety.org/10.1109/MAHC.2016.13
db/journals/annals/annals39.html#Stachniak17
Zbigniew Stachniak
Red Clones: The Soviet Computer Hobby Movement of the 1980s.
12-23
2015
37
IEEE Ann. Hist. Comput.
1
https://doi.org/10.1109/MAHC.2015.11
http://doi.ieeecomputersociety.org/10.1109/MAHC.2015.11
db/journals/annals/annals37.html#Stachniak15
Zbigniew Stachniak
Early Commercial Electronic Distribution of Software.
39-51
2014
36
IEEE Ann. Hist. Comput.
1
https://doi.org/10.1109/MAHC.2013.55
http://doi.ieeecomputersociety.org/10.1109/MAHC.2013.55
db/journals/annals/annals36.html#Stachniak14
Zbigniew Stachniak
This Is Not a Computer: Negotiating the Microprocessor.
48-54
2013
35
IEEE Ann. Hist. Comput.
4
https://doi.org/10.1109/MAHC.2013.15
http://doi.ieeecomputersociety.org/10.1109/MAHC.2013.15
db/journals/annals/annals35.html#Stachniak13
Anton Belov
Matti Järvisalo
Zbigniew Stachniak
Depth-Driven Circuit-Level Stochastic Local Search for SAT.
504-509
2011
IJCAI
https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-092
conf/ijcai/2011
db/conf/ijcai/ijcai2011.html#BelovJS11
Zbigniew Stachniak
The MIL MF7114 Microprocessor.
48-59
2010
32
IEEE Ann. Hist. Comput.
4
https://doi.org/10.1109/MAHC.2009.62
http://doi.ieeecomputersociety.org/10.1109/MAHC.2009.62
db/journals/annals/annals32.html#Stachniak10
Anton Belov
Zbigniew Stachniak
Improved Local Search for Circuit Satisfiability.
293-299
2010
SAT
https://doi.org/10.1007/978-3-642-14186-7_24
conf/sat/2010
db/conf/sat/sat2010.html#BelovS10
Anton Belov
Zbigniew Stachniak
Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability.
258-264
2009
SAT
https://doi.org/10.1007/978-3-642-02777-2_25
conf/sat/2009
db/conf/sat/sat2009.html#BelovS09
Zbigniew Stachniak
Anton Belov
Weighting strategy for non-clausal resolution.
61-78
2008
20
J. Exp. Theor. Artif. Intell.
1
https://doi.org/10.1080/09528130701475617
db/journals/jetai/jetai20.html#StachniakB08
Zbigniew Stachniak
Anton Belov
Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning.
257-270
2008
SAT
https://doi.org/10.1007/978-3-540-79719-7_24
conf/sat/2008
db/conf/sat/sat2008.html#StachniakB08
Zbigniew Stachniak
Microcomputers.
2008
Wiley Encyclopedia of Computer Science and Engineering
https://doi.org/10.1002/9780470050118.ecse238
reference/wiley/2008
db/reference/wiley/wiley2008.html#Stachniak08
Zbigniew Stachniak
Intel SIM8-01: A Proto-PC.
34-48
2007
29
IEEE Ann. Hist. Comput.
1
https://doi.org/10.1109/MAHC.2007.9
http://doi.ieeecomputersociety.org/10.1109/MAHC.2007.9
db/journals/annals/annals29.html#Stachniak07
Anton Belov
Zbigniew Stachniak
Substitutional Definition of Satisfiability in Classical Propositional Logic.
31-45
2005
conf/sat/2005
SAT
https://doi.org/10.1007/11499107_3
db/conf/sat/sat2005.html#BelovS05
Zbigniew Stachniak
Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search.
8-14
https://doi.org/10.1007/978-3-540-30210-0_2
2004
conf/aisc/2004
AISC
db/conf/aisc/aisc2004.html#Stachniak04
Zbigniew Stachniak
A Note on Satisfying Truth-Value Assignments of Boolean Formulas.
2004
conf/sat/2004
SAT
http://www.satisfiability.org/SAT04/programme/52.pdf
db/conf/sat/sat2004.html#Stachniak04
Zbigniew Stachniak
The Making of the MCM/70 Microcomputer.
62-75
2003
25
IEEE Ann. Hist. Comput.
2
https://doi.org/10.1109/MAHC.2003.1203059
http://doi.ieeecomputersociety.org/10.1109/MAHC.2003.1203059
db/journals/annals/annals25.html#Stachniak03
Zbigniew Stachniak
Non-Clausal Reasoning with Definite Theories.
363-388
2001
48
Fundam. Informaticae
4
db/journals/fuin/fuin48.html#Stachniak01
http://content.iospress.com/articles/fundamenta-informaticae/fi48-4-04
Zbigniew Stachniak
Exploiting Polarity in Multiple-Valued Inference Systems.
149-158
2001
conf/ismvl/2001
ISMVL
db/conf/ismvl/ismvl2001.html#Stachniak01
https://doi.org/10.1109/ISMVL.2001.924566
https://doi.ieeecomputersociety.org/10.1109/ISMVL.2001.924566
Zbigniew Stachniak
Polarity Guided Tractable Reasoning.
751-758
1999
conf/aaai/1999
AAAI/IAAI
db/conf/aaai/aaai99.html#Stachniak99
http://www.aaai.org/Library/AAAI/1999/aaai99-107.php
Zbigniew Stachniak
On Finitely-Valued Inference Systems.
149-169
1998
61
Stud Logica
1
db/journals/sLogica/sLogica61.html#Stachniak98
https://doi.org/10.1023/A:1005090516356
Zbigniew Stachniak
Non-clausal Reasoning with Propositional Definite Theories.
296-307
1998
conf/aisc/1998
AISC
https://doi.org/10.1007/BFb0055921
db/conf/aisc/aisc1998.html#Stachniak98
Zbigniew Stachniak
Resolution proof systems - an algebraic theory.
I-XVI, 1-206
Kluwer
1996
Automated reasoning series
4
978-0-7923-4017-1
Zbigniew Stachniak
Nonmonotonic Theories and Their Axiomatic Varieties.
317-334
1995
4
J. Log. Lang. Inf.
4
db/journals/jolli/jolli4.html#Stachniak95
https://doi.org/10.1007/BF01049473
Zbigniew Stachniak
Fast Termination of the Deductive Process in Resolution Proof Systems for Non-Classical Logics.
604-613
1994
conf/ismis/1994
ISMIS
db/conf/ismis/ismis94.html#Stachniak94
https://doi.org/10.1007/3-540-58495-1_60
Zbigniew Stachniak
Lattices of Resolution Logics.
108-114
1994
conf/ismvl/1994
ISMVL
db/conf/ismvl/ismvl1994.html#Stachniak94
https://doi.org/10.1109/ISMVL.1994.302214
https://doi.ieeecomputersociety.org/10.1109/ISMVL.1994.302214
Zbigniew Stachniak
An essay on resolution logics.
309-322
1993
52
Stud Logica
2
db/journals/sLogica/sLogica52.html#Stachniak93
https://doi.org/10.1007/BF01058394
Zbigniew Stachniak
Algebraic Sematics for Cumulative Inference Operations.
444-449
1993
conf/aaai/1993
AAAI
db/conf/aaai/aaai93.html#Stachniak93
http://www.aaai.org/Library/AAAI/1993/aaai93-067.php
E. R. Harley
Zbigniew Stachniak
Minimal Resolution Proof Systems for Finitely-Valued Lukasiewicz Logics.
54-59
1993
conf/ismvl/1993
ISMVL
db/conf/ismvl/ismvl1993.html#HarleyS93
https://doi.org/10.1109/ISMVL.1993.289581
https://doi.ieeecomputersociety.org/10.1109/ISMVL.1993.289581
Resolution Approximation of First-Order Logics
Zbigniew Stachniak
225-244
Inf. Comput.
February
1992
96
2
db/journals/iandc/iandc96.html#Stachniak92
https://doi.org/10.1016/0890-5401(92)90049-L
Peter W. O'Hearn
Zbigniew Stachniak
Resolution Framework for Finitely-Valued First-Order Logics.
235-254
1992
13
J. Symb. Comput.
3
db/journals/jsc/jsc13.html#OHearnS92
https://doi.org/10.1016/S0747-7171(10)80002-1
Zbigniew Stachniak
Minimization of resolution proof systems.
129-146
1991
14
Fundam. Informaticae
1
db/journals/fuin/fuin14.html#Stachniak91
Zbigniew Stachniak
Extending resolution to resolution logics.
17-32
1991
3
J. Exp. Theor. Artif. Intell.
1
https://doi.org/10.1080/09528139108915279
db/journals/jetai/jetai3.html#Stachniak91
Zbigniew Stachniak
Note on Resolution Circuits.
620-629
1991
conf/ismis/1991
ISMIS
db/conf/ismis/ismis91.html#Stachniak91
https://doi.org/10.1007/3-540-54563-8_125
Zbigniew Stachniak
Note on Resolution Approximation of Many-Valued Logics.
204-209
1990
conf/ismvl/1990
ISMVL
db/conf/ismvl/ismvl1990.html#Stachniak90
https://doi.org/10.1109/ISMVL.1990.122622
https://doi.ieeecomputersociety.org/10.1109/ISMVL.1990.122622
Zbigniew Stachniak
Resolution Proof Systems with Weak Transformation Rules.
38-43
1990
conf/issac/1990
ISSAC
https://doi.org/10.1145/96877.96890
db/conf/issac/issac90.html#Stachniak90
Zbigniew Stachniak
Note on Effective Constructibility of Resolution Proof Systems.
487-498
1990
conf/jelia/1990
JELIA
db/conf/jelia/jelia90.html#Stachniak90
https://doi.org/10.1007/BFb0018461
Zbigniew Stachniak
Many-valued computational logics.
257-274
1989
18
J. Philos. Log.
3
https://doi.org/10.1007/BF00274067
db/journals/jphil/jphil18.html#Stachniak89
Peter W. O'Hearn
Zbigniew Stachniak
Note on Theorem Proving Strategies for Resolution Counterparts of Non-Classical Logics.
364-372
1989
conf/issac/1989
ISSAC
https://doi.org/10.1145/74540.74583
db/conf/issac/issac89.html#OHearnS89
Peter W. O'Hearn
Zbigniew Stachniak
A Resolution Framework for Finitely-Valued First-Order Logics.
69-81
1989
conf/scai/1989
SCAI
db/conf/scai/scai1989.html#OHearnS89
Zbigniew Stachniak
Two theorems on many-valued logics.
171-179
1988
17
J. Philos. Log.
2
https://doi.org/10.1007/BF00247910
db/journals/jphil/jphil17.html#Stachniak88
Zbigniew Stachniak
The resolution rule: an algebraic perspective.
227-242
1988
conf/aluacs/1988
Algebraic Logic and Universal Algebra in Computer Science
db/conf/aluacs/aluacs1988.html#Stachniak88
https://doi.org/10.1007/BFb0043087
Zbigniew Stachniak
Note on Structural Logics.
317-320
1985
31
Math. Log. Q.
19-20
https://doi.org/10.1002/malq.19850311906
db/journals/mlq/mlq31.html#Stachniak85
Anton Belov
E. R. Harley
Matti Järvisalo
Peter W. O'Hearn