Timothy M. Lownie (lownie)

Contributions to Philosophie.ch

Bibliography

Lownie, Timothy M. 1992. “A Contraction Operator for Classical Propositional Logic.” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 720–731. San Francisco, California: Morgan Kaufmann Publishers.