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
-
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) -
epsilon-connections of abstract description systems
Kutz, O., Lutz, C., Wolter, F. & Zakharyaschev, M., Jun 2004, In: ARTIFICIAL INTELLIGENCE. 156, 1, p. 1 - 73 73 p.Research output: Contribution to journal › Article › peer-review
185 Citations (Scopus) -
On non-local propositional and weak monodic quantified CTL
Bauer, S., Hodkinson, I., Wolter, F. & Zakharyaschev, M., Feb 2004, In: Journal of Logic and Computation. 14, 1, p. 3 - 22 20 p.Research output: Contribution to journal › Conference paper
11 Citations (Scopus) -
Products of `transitive' modal logics with constant and expanding domains
Gabelaia, D., Kurucz, A., Wolter, F. & Zakharyaschev, M., 2004, Procs. 38th MLG Meeting. Gamagori, Japan, p. 23 - 25 3 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper
-
Products of `transitive' modal logics without the (abstract) finite model property
Gabelaia, D., Kurucz, A. & Zakharyaschev, M., 2004, Procs. AiML 2004. Manchester, p. 104 - 115Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Projects
- 4 Finished
-
Knowledge, representation and reasoning about distance
Zakharyaschev, M., Degtiarev, A., Hodkinson, I. & Kurucz, A.
EPSRC Engineering and Physical Sciences Research Council
1/02/2004 → 31/07/2007
Project: Research
-
Dynamic Ontologies: A framework for service descriptions
Zakharyaschev, M., Degtiarev, A. & Kurucz, A.
EPSRC Engineering and Physical Sciences Research Council
1/01/2004 → 31/12/2006
Project: Research
-
Analysis and Mechanisation of Decidable First-order Temporal Logics
Gabbay, D., Zakharyaschev, M. & Hodkinson, I.
EPSRC Engineering and Physical Sciences Research Council
1/10/2001 → 31/03/2004
Project: Research
-
Complexity analysis of reasoning in combined knowledge representation systems
EPSRC Engineering and Physical Sciences Research Council
1/10/2001 → 30/09/2004
Project: Research