Richard W. Weyhrauch (weyhrauch)

Contributions to Philosophie.ch

Bibliography

Giunchiglia, Fausto and Weyhrauch, Richard W. 1991. “A Multi-Context Monotonic Axiomatization of Inessential Nonmonotonicity.” mrg-dist 9105–02. Trento: Dipartimento Informatica Sistematica Telematica, Università di Genova, Facultà di Ingegneria.
Weyhrauch, Richard W. 1979. “Prolegomena to a Theory of Mechanized Formal Reasoning.” Artificial Intelligence 13(1–2): 133–170. Reprinted in Webber and Nilsson (1981, 173–191).
Weyhrauch, Richard W., Cadoli, Marco and Talcott, Carolyn L. 1998. “Using Abstract Resources to Control Reasoning.” Journal of Logic, Language, and Information 7(1): 77–101.

Further References

Webber, Bonnie Lynn and Nilsson, Nils J., eds. 1981. Readings in Artificial Intelligence. San Francisco, California: Morgan Kaufmann Publishers.