Mark Ryan (ryan-m)

Contributions to Philosophie.ch

Bibliography

Hirst, Graeme and Ryan, Mark. 1992. “Mixed-Depth Representations for Natural Language Text.” in Text-Based Intelligent Systems, edited by Paul S. Jacobs, pp. 59–82. Mahwah, New Jersey: Lawrence Erlbaum Associates, Inc.
Huth, Michael R. A. and Ryan, Mark. 2000. Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge: Cambridge University Press.
Lomuscio, Alessio and Ryan, Mark. n.d.a. “On the Relation between Interpreted Systems and Kripke Models.” Unpublished manuscript.
Lomuscio, Alessio and Ryan, Mark. n.d.b. “Ideal Agents Sharing (Some!) Knowledge.” Unpublished manuscript.
Ryan, Mark. 1992. “Representing Defaults as Sentences with Reduced Priority.” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 649–660. San Francisco, California: Morgan Kaufmann Publishers.
Ryan, Mark. 1996. “Belief Revision and Ordered Theory Presentations.” in Logic, Action, and Information: Essays on Logic in Philosophy and Artificial Intelligence, edited by André Fuhrmann and Hans Rott, pp. 129–151. Berlin: de Gruyter.
Ryan, Mark and Sadler, Martin. 1992. “Valuation Systems and Consequence Relations.” in Handbook of Logic in Computer Science. Volume 1. Background: Mathematical Structures, edited by Samson Abramsky, Dov M. Gabbay, and Thomas S. E. Maibaum, pp. 1–78. Oxford: Oxford University Press.
Ryan, Mark and Schobbens, Pierre-Yves. 1997. “Counterfactuals and Updates as Inverse Modalities.” Journal of Logic, Language, and Information 6(2): 123–146.
Ryan, Mark, Schobbens, Pierre-Yves and Rodrigues, Odinaldo. 1996. “Counterfactuals and Updates as Inverse Modalities (Preliminary Version).” in TARK 1996. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Sixth Conference, edited by Yoav Shoham, pp. 163–174. San Francisco, California: Morgan Kaufmann Publishers.