Skip to main navigation
Skip to search
Skip to main content
King's College London Home
Home
Profiles
Research units
Research output
Search by expertise, name or affiliation
Michael Zakharyaschev
Professor
887
Citations
Overview
Fingerprint
Network
Research output
(2)
Similar Profiles
(5)
Research output
2
Article
Research output per year
Research output per year
2 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Search results
2005
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 - 243
Research output
:
Contribution to journal
›
Article
›
peer-review
Temporal Logic
100%
69
Citations (Scopus)
2002
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
Reasoning
100%
Temporal Logic
100%
Computation
33%
Temporal Extension
33%
Complexity Result
33%
133
Citations (Scopus)