Ullrich Hustadt (hustadt)

Contributions to Philosophie.ch

Bibliography

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. 1995. “Introducing Epistemic Operators into a Description Logic.” in Knowledge and Belief in Philosophy and Artificial Intelligence, edited by Armin Laux and Heinrich Theodor Wansing, pp. 65–86. Berlin: Akademie Verlag.
Hustadt, Ullrich. 2001. “Review of Gabbay, Reynolds and Finger (2000).” Journal of Logic, Language, and Information 10(3): 406–410.
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.

Further References

Gabbay, Dov M., Reynolds, Mark A. and Finger, Marcelo. 2000. Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2. Oxford Logic Guides n. 40. Oxford: Oxford University Press.