Zbigniew Stachniak

Publication Activity (10 Years)

Years Active: 1985-2020
Publications (10 Years): 3

Top Topics

Special Purpose Hardware

Intellectual Property

Spatial Distribution

Software Systems

Top Venues

IEEE Ann. Hist. Comput.

Publications

Zbigniew Stachniak, David C. Walden
Learning From Prototypes. IEEE Ann. Hist. Comput. 42 (2) (2020)
Zbigniew Stachniak, David C. Walden
Software Recovery and Beyond. IEEE Ann. Hist. Comput. 41 (4) (2019)
Zbigniew Stachniak
MCM on Personal Software. IEEE Ann. Hist. Comput. 39 (1) (2017)
Zbigniew Stachniak
Red Clones: The Soviet Computer Hobby Movement of the 1980s. IEEE Ann. Hist. Comput. 37 (1) (2015)
Zbigniew Stachniak
Early Commercial Electronic Distribution of Software. IEEE Ann. Hist. Comput. 36 (1) (2014)
Zbigniew Stachniak
This Is Not a Computer: Negotiating the Microprocessor. IEEE Ann. Hist. Comput. 35 (4) (2013)
Anton Belov, Matti Järvisalo, Zbigniew Stachniak
Depth-Driven Circuit-Level Stochastic Local Search for SAT. IJCAI (2011)
Anton Belov, Zbigniew Stachniak
Improved Local Search for Circuit Satisfiability. SAT (2010)
Zbigniew Stachniak
The MIL MF7114 Microprocessor. IEEE Ann. Hist. Comput. 32 (4) (2010)
Anton Belov, Zbigniew Stachniak
Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability. SAT (2009)
Zbigniew Stachniak, Anton Belov
Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning. SAT (2008)
Zbigniew Stachniak, Anton Belov
Weighting strategy for non-clausal resolution. J. Exp. Theor. Artif. Intell. 20 (1) (2008)
Zbigniew Stachniak
Intel SIM8-01: A Proto-PC. IEEE Ann. Hist. Comput. 29 (1) (2007)
Anton Belov, Zbigniew Stachniak
Substitutional Definition of Satisfiability in Classical Propositional Logic. SAT (2005)
Zbigniew Stachniak
Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search. AISC (2004)
Zbigniew Stachniak
A Note on Satisfying Truth-Value Assignments of Boolean Formulas. SAT (2004)
Zbigniew Stachniak
The Making of the MCM/70 Microcomputer. IEEE Ann. Hist. Comput. 25 (2) (2003)
Zbigniew Stachniak
Exploiting Polarity in Multiple-Valued Inference Systems. ISMVL (2001)
Zbigniew Stachniak
Non-Clausal Reasoning with Definite Theories. Fundam. Informaticae 48 (4) (2001)
Zbigniew Stachniak
Polarity Guided Tractable Reasoning. AAAI/IAAI (1999)
Zbigniew Stachniak
Non-clausal Reasoning with Propositional Definite Theories. AISC (1998)
Zbigniew Stachniak
On Finitely-Valued Inference Systems. Stud Logica 61 (1) (1998)
Zbigniew Stachniak
Nonmonotonic Theories and Their Axiomatic Varieties. J. Log. Lang. Inf. 4 (4) (1995)
Zbigniew Stachniak
Fast Termination of the Deductive Process in Resolution Proof Systems for Non-Classical Logics. ISMIS (1994)
Zbigniew Stachniak
Lattices of Resolution Logics. ISMVL (1994)
Zbigniew Stachniak
An essay on resolution logics. Stud Logica 52 (2) (1993)
Zbigniew Stachniak
Algebraic Sematics for Cumulative Inference Operations. AAAI (1993)
E. R. Harley, Zbigniew Stachniak
Minimal Resolution Proof Systems for Finitely-Valued Lukasiewicz Logics. ISMVL (1993)
Zbigniew Stachniak
Resolution Approximation of First-Order Logics Inf. Comput. 96 (2) (1992)
Peter W. O'Hearn, Zbigniew Stachniak
Resolution Framework for Finitely-Valued First-Order Logics. J. Symb. Comput. 13 (3) (1992)
Zbigniew Stachniak
Extending resolution to resolution logics. J. Exp. Theor. Artif. Intell. 3 (1) (1991)
Zbigniew Stachniak
Minimization of resolution proof systems. Fundam. Informaticae 14 (1) (1991)
Zbigniew Stachniak
Note on Resolution Circuits. ISMIS (1991)
Zbigniew Stachniak
Resolution Proof Systems with Weak Transformation Rules. ISSAC (1990)
Zbigniew Stachniak
Note on Resolution Approximation of Many-Valued Logics. ISMVL (1990)
Zbigniew Stachniak
Note on Effective Constructibility of Resolution Proof Systems. JELIA (1990)
Zbigniew Stachniak
Many-valued computational logics. J. Philos. Log. 18 (3) (1989)
Peter W. O'Hearn, Zbigniew Stachniak
A Resolution Framework for Finitely-Valued First-Order Logics. SCAI (1989)
Peter W. O'Hearn, Zbigniew Stachniak
Note on Theorem Proving Strategies for Resolution Counterparts of Non-Classical Logics. ISSAC (1989)
Zbigniew Stachniak
Two theorems on many-valued logics. J. Philos. Log. 17 (2) (1988)
Zbigniew Stachniak
The resolution rule: an algebraic perspective. Algebraic Logic and Universal Algebra in Computer Science (1988)
Zbigniew Stachniak
Note on Structural Logics. Math. Log. Q. 31 (19-20) (1985)