Michael Zakharyaschev focuses on Theoretical computer science, Ontology, Description logic, Decidability and Discrete mathematics. His work on Satisfiability as part of general Theoretical computer science study is frequently linked to T-norm fuzzy logics, therefore connecting diverse disciplines of science. The study incorporates disciplines such as Context, Ontology, Data access and Relational database, Conjunctive query in addition to Ontology.
His Description logic research incorporates themes from Modal logic, Solver and Transitive relation. The concepts of his Decidability study are interwoven with issues in Linear temporal logic, Temporal logic and Knowledge representation and reasoning. His study in the fields of Boolean satisfiability problem under the domain of Discrete mathematics overlaps with other disciplines such as Monoidal t-norm logic.
Theoretical computer science, Description logic, Discrete mathematics, Ontology and Conjunctive query are his primary areas of study. Michael Zakharyaschev mostly deals with Temporal logic in his studies of Theoretical computer science. His Description logic research integrates issues from Context, Satisfiability and Algebra, Transitive relation.
His work deals with themes such as Modal logic and Accessibility relation, which intersect with Discrete mathematics. His work in Modal logic covers topics such as Multimodal logic which are related to areas like Dynamic logic. His Ontology course of study focuses on Datalog and Extension.
His primary areas of study are Ontology, Theoretical computer science, Conjunctive query, Description logic and Datalog. His Ontology research includes themes of Ontology, Data access, Data complexity and Temporal logic. His biological study spans a wide range of topics, including Linear temporal logic, Undecidable problem and Metric.
His Theoretical computer science research is multidisciplinary, incorporating perspectives in Set, Knowledge base, Semantics and Algorithm, Primitive recursive function. The study incorporates disciplines such as Discrete mathematics, Decidability, EXPTIME, Web Ontology Language and Axiom in addition to Conjunctive query. His work carried out in the field of Description logic brings together such families of science as Computational complexity theory and Signature, Algebra.
Michael Zakharyaschev mainly investigates Ontology, Theoretical computer science, Conjunctive query, Datalog and Description logic. His study on Ontology also encompasses disciplines like
Within one scientific family, Michael Zakharyaschev focuses on topics pertaining to Linear temporal logic under Temporal logic, and may sometimes address concerns connected to Dynamic logic. His Interval temporal logic study in the realm of Description logic connects with subjects such as T-norm fuzzy logics. Michael Zakharyaschev usually deals with Decidability and limits it to topics linked to Boolean satisfiability problem and Satisfiability.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Monodic fragments of first-order temporal logics: 2000-2001 A.D
Ian M. Hodkinson;Frank Wolter;Michael Zakharyaschev.
international conference on logic programming (2001)
Modal Logic
Michael Zakharyaschev.
(1997)
Semi-qualitative Reasoning about Distances: A Preliminary Report
Holger Sturm;Nobu-Yuki Suzuki;Frank Wolter;Michael Zakharyaschev.
Springer US (2000)
Many-Dimensional Modal Logics: Theory and Applications
Dov M Gabbay;Agi Kurucz;Frank Wolter;Michael Zakharyaschev.
(2013)
The DL-lite family and relations
Alessandro Artale;Diego Calvanese;Roman Kontchakov;Michael Zakharyaschev.
Journal of Artificial Intelligence Research (2009)
Connecting abstract description systems
Oliver Kutz;Frank Wolter;Michael Zakharyaschev.
principles of knowledge representation and reasoning (2002)
ε-connections of abstract description systems
Oliver Kutz;Carsten Lutz;Frank Wolter;Michael Zakharyaschev.
Artificial Intelligence (2004)
Decidable fragments of first-order temporal logics
Ian M. Hodkinson;Frank Wolter;Michael Zakharyaschev.
Annals of Pure and Applied Logic (2000)
Spatio-temporal representation and reasoning based on RCC-8
Frank Wolter;Michael Zakharyaschev.
principles of knowledge representation and reasoning (2000)
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
Brandon Bennett;Anthony G. Cohn;Frank Wolter;Michael Zakharyaschev.
Applied Intelligence (2002)
University of Liverpool
University of Bremen
Free University of Bozen-Bolzano
University of Luxembourg
Free University of Bozen-Bolzano
University of Manchester
University of Amsterdam
University of Oxford
Sapienza University of Rome
TU Dortmund University
Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking d-index is inferred from publications deemed to belong to the considered discipline.
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: