Renate A. Schmidt (schmidt-ra)

Contributions à Philosophie.ch

Bibliography

Brink, Chris H. and Schmidt, Renate A. 1992. “Subsumption Computed Algebraically.” in Semantic Networks in Artificial Intelligence, edited by Fritz Lehmann, pp. 329–342. Oxford: Pergamon Press.
Ganzinger, Harald, Hustadt, Ullrich, Meyer, Christoph and Schmidt, Renate A. 2000. “A Resolution-Based Decision Procedure for Extensions of K4.” in Advances in Modal Logic, volume II, edited by Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, and Heinrich Theodor Wansing, pp. 243–263. Stanford, California: CSLI Publications.
Hustadt, Ullrich and Schmidt, Renate A. 2002. “Scientific Benchmarking with Temporal Logic Decision Procedures.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 533–544. San Francisco, California: Morgan Kaufmann Publishers.
Schmidt, Renate A. 1998. “Resolution is a Decision Procedure for Many Propositional Modal Logics.” in Advances in Modal Logic, volume I, edited by Marcus Kracht, Maarten de Rijke, and Heinrich Theodor Wansing, pp. 189–208. Stanford, California: CSLI Publications.
Schmidt, Renate A. 2006. “Developing Modal Tableaux and Resolution Methods via First-Order Resolution.” in Advances in Modal Logic, volume VI, edited by Guido Governatori, Ian Hodkinson, and Yde Venema, pp. 1–26. London: King’s College Publications.
Schmidt, Renate A., Pratt-Hartmann, Ian, Reynolds, Mark A. and Wansing, Heinrich Theodor, eds. 2005. Advances in Modal Logic. vol. V. London: King’s College Publications.
Schmidt, Renate A., Stell, John G. and Rydeheard, David. 2014. “Axiomatic and Tableau-Based Reasoning for Kt(H,R).” in Advances in Modal Logic, volume X, edited by Rajeev Goré, Barteld P. Kooi, and Ágnes Kurucz, pp. 478–497. London: King’s College Publications.
Schmidt, Renate A. and Tishkovsky, D. 2003. “Combining Dynamic Logic with Doxastic Modal Logics.” in Advances in Modal Logic, volume IV, edited by Philippe Balbiani, Suzuki Nobi-Yuki, Frank Wolter, and Michael Zakharyaschev, pp. 371–392. London: King’s College Publications.