Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search - Artificial Intelligence and Symbolic Computation - page 14

9. Przymusinski, T. Three-Valued Non-Monotonic Formalisms and Logic Program-
ming”. In Proc. of the First Int. Conf. on Principles of Knowledge Representation
and Reasoning (KR'89) , Toronto, pp. 341-348 (1989)
10. Rasiowa, H. An Algebraic Approach to Non-Classical Logics . North-Holland (1974).
11. Selman, B., Levesque, H., and Mitchell, D. A new method for solving hard satisfi-
ability problems. In Proc. AAAI-92 , pp. 440-446 (1992).
12. Stachniak, Z. Polarity-based Stochastic Local Search Algorithm for Non-clausal
Satisfiability. In [3], pp. 181-192 (2002).
13. Stachniak, Z. Resolution Proof Systems: An Algebraic Theory. Kluwer (1996).
14. Stachniak, Z. Nonmonotonic Theories and Their Axiomatic Varieties. J. of Logic,
Language, and Computation , vol. 4, no. 4, pp. 317-334 (1995).
15. Thistlewaite, P.B., McRobbie, M.A., and Meyer, R.K. Automated Theorem-Proving
in Non-Classical Logics . Pitman (1988).
16. Wojcicki, R. Theory of Logical Calculi: Basic Theory of Consequence Operations .
Kluwer (1988).