Zbigniew Stachniak

According to our database1, Zbigniew Stachniak authored at least 42 papers between 1985 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
MCM on Personal Software.
IEEE Annals of the History of Computing, 2017

2015
Red Clones: The Soviet Computer Hobby Movement of the 1980s.
IEEE Annals of the History of Computing, 2015

2014
Early Commercial Electronic Distribution of Software.
IEEE Annals of the History of Computing, 2014

2013
This Is Not a Computer: Negotiating the Microprocessor.
IEEE Annals of the History of Computing, 2013

2011
Depth-Driven Circuit-Level Stochastic Local Search for SAT.
Proceedings of the IJCAI 2011, 2011

2010
The MIL MF7114 Microprocessor.
IEEE Annals of the History of Computing, 2010

Improved Local Search for Circuit Satisfiability.
Proceedings of the Theory and Applications of Satisfiability Testing, 2010

2009
Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability.
Proceedings of the Theory and Applications of Satisfiability Testing, 2009

2008
Microcomputers.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Weighting strategy for non-clausal resolution.
J. Exp. Theor. Artif. Intell., 2008

Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning.
Proceedings of the Theory and Applications of Satisfiability Testing, 2008

2007
Intel SIM8-01: A Proto-PC.
IEEE Annals of the History of Computing, 2007

2005
Substitutional Definition of Satisfiability in Classical Propositional Logic.
Proceedings of the Theory and Applications of Satisfiability Testing, 2005

2004
A Note on Satisfying Truth-Value Assignments of Boolean Formulas.
Proceedings of the SAT 2004, 2004

Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2003
The Making of the MCM/70 Microcomputer.
IEEE Annals of the History of Computing, 2003

2001
Non-Clausal Reasoning with Definite Theories.
Fundam. Inform., 2001

Exploiting Polarity in Multiple-Valued Inference Systems.
Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

1999
Polarity Guided Tractable Reasoning.
Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998
On Finitely-Valued Inference Systems.
Studia Logica, 1998

Non-clausal Reasoning with Propositional Definite Theories.
Proceedings of the Artificial Intelligence and Symbolic Computation, 1998

1996
Resolution proof systems - an algebraic theory.
Automated reasoning series 4, Kluwer, ISBN: 978-0-7923-4017-1, 1996

1995
Nonmonotonic Theories and Their Axiomatic Varieties.
Journal of Logic, Language and Information, 1995

1994
Lattices of Resolution Logics.
Proceedings of the 24th IEEE International Symposium on Multiple-Valued Logic, 1994

Fast Termination of the Deductive Process in Resolution Proof Systems for Non-Classical Logics.
Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

1993
An essay on resolution logics.
Studia Logica, 1993

Minimal Resolution Proof Systems for Finitely-Valued Lukasiewicz Logics.
Proceedings of the 23rd IEEE International Symposium on Multiple-Valued Logic, 1993

Algebraic Sematics for Cumulative Inference Operations.
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1992
Resolution Approximation of First-Order Logics
Inf. Comput., February, 1992

Resolution Framework for Finitely-Valued First-Order Logics.
J. Symb. Comput., 1992

1991
Extending resolution to resolution logics.
J. Exp. Theor. Artif. Intell., 1991

Minimization of resolution proof systems.
Fundam. Inform., 1991

Note on Resolution Circuits.
Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

1990
Note on Effective Constructibility of Resolution Proof Systems.
Proceedings of the Logics in AI, European Workshop, 1990

Resolution Proof Systems with Weak Transformation Rules.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990

Note on Resolution Approximation of Many-Valued Logics.
Proceedings of the 20th International Symposium on Multiple-Valued Logic, 1990

1989
Many-valued computational logics.
J. Philosophical Logic, 1989

A Resolution Framework for Finitely-Valued First-Order Logics.
Proceedings of the Second Scandinavian Conference on Artificial Intelligence 1989, 1989

Note on Theorem Proving Strategies for Resolution Counterparts of Non-Classical Logics.
Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989

1988
Two theorems on many-valued logics.
J. Philosophical Logic, 1988

The resolution rule: an algebraic perspective.
Proceedings of the Algebraic Logic and Universal Algebra in Computer Science, Conference, 1988

1985
Note on Structural Logics.
Math. Log. Q., 1985


  Loading...