Institut für Informatik - Dokumentenserver - Universität Leipzig

- Werner, H.; Schierwagen, A.: Categorization of the dynamics in two-dim.
neural fields. Abstracts of the 9th Annual Computational Neuroscience Meeting,
Brugge, Belgium, July 16 - 21, 2000, p. 156.
- Wolter, F.: The product of converse PDL and polymodal K, in Journal of Logic
and Computation, Vol 10, 223 - 251, 2000
- Wolter, F.: Fragments of common knowledge logics, Studia Logica 65, 249 -
271, 2000
- Hodkinson, I.; Wolter, F.; Zakharyaschev, M.: Decidable fragments of firstorder
temporal logics, Annals of Pure and Applied Logic 106, 85 - 134, 2000
- Wolter, F.; Zakharyaschev, M.: Spatiotemporal representation and reasoning
based on RCC-8, in Proceedings of Principles of Knowledge Representation
and Reasoning (KR 2000), Herausgeber: A. Cohn, F. Giunchiglia und
B. Selman, Morgan Kaufman, 3 - 14, 2000
- Wolter, F.; Zakharyaschev, M.: Spatial reasoning in RCC-8 with Boolean region
terms, Proceedings der ECAI'2000, Berlin, 2000
- Sturm, H.; Wolter, F.; Zakharyaschev, M.: Monodic epistemic predicate logic,
JELIA'2000, Herausgeber: G. Brewka und L. Pereira, Lecture Notes in Artificial
Intelligence 1919, Springer, 2000, 329 - 344
- Sturm, H.; Nobu-Yuki Suzuki, Wolter, F.; Zakharyaschev, M.: Quasiqualitative
reasoning about distances, JELIA'2000, Herausgeber: G. Brewka und L.
Pereira, Lecture Notes in Artificial Intelligence 1919, Springer, 2000, 37 - 56
- Baader, F.; Lutz, C.; Sturm, H.; Wolter, F.: Fusions in description logic, Proceedings
of International Workshop on Description Logics (DL-2000), Herausgeber:
F. Baader und U. Sattler, Aachener Beiträge zur Informatik, 2000,
21 - 30
- Wolter, F.; Zakharyaschev, M.: Fragments of modal predicate logics, Journal
of Symbolic Logic, 2000
- Sturm, H.; Wolter, F.; Zakharyaschev, M.: Common knowledge and Quantification,
Economic Theory, 2000
- Sturm, H.; Wolter, F.: A tableau based decision procedure for temporal description
logic: the expanding domain case, Journal of Logic and Computation,
2000
- Bennett, B.; Cohn, A.; Wolter, F.; Zakharyaschev, M.: Multidimensional Modal
Logic as a Framework for Spatio-Temporal Reasoning, erscheint in Applied
Intelligence
- Wolter, F.; Zakharyaschev, M.; Mosurovicz, M.: Temporalizing Description
Logic: the pointbased approach, erscheint in Bulletin of the Italian Association
for Artificial Intelligence
- Chagrov, A.; Wolter, F.; Zakharyaschev, M.: Advanced Modal Logic, Neue
Ausgabe des Handbook of Philosophical Logic, Herausgeber: D. Gabbay
and H. Guenthner, erscheint bei Kluwer
- Baader, F.; Kuesters, R.; Wolter, F.: Extensions to Description Logics, erscheint
im Handbook of Description Logic, erscheint bei Kluwer
77