Research output per year
Research output per year
Fingerprint
Dive into the research topics where Michael Zakharyaschev is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Research output
- 2 Article
-
Combining spatial and temporal logics: expressiveness vs. complexity
Gabelaia, D., Kontchakov, R., Kurucz, A., Wolter, F. & Zakharyaschev, M., Jan 2005, In: Journal Artificial Intelligence Research. 23, p. 167 - 243Research output: Contribution to journal › Article › peer-review
69 Citations (Scopus) -
Multi-dimensional modal logic as a framework for spatio-temporal reasoning
Bennett, B., Cohn, A. G., Wolter, F. & Zakharyaschev, M., Nov 2002, In: APPLIED INTELLIGENCE. 17, 3, p. 239 - 251 13 p.Research output: Contribution to journal › Article › peer-review
133 Citations (Scopus)