As part of his studies on Theoretical computer science, Michael Zakharyaschev frequently links adjacent subjects like Satisfiability. He merges many fields, such as Algorithm and Computational complexity theory, in his writings. Computational complexity theory and Theoretical computer science are two areas of study in which he engages in interdisciplinary research. He brings together Decidability and Undecidable problem to produce work in his papers. In his works, Michael Zakharyaschev conducts interdisciplinary research on Undecidable problem and Decidability. In his work, he performs multidisciplinary research in Discrete mathematics and Mathematical analysis. While working in this field, he studies both Mathematical analysis and Discrete mathematics. His work blends Description logic and Web Ontology Language studies together. He performs multidisciplinary study on Web Ontology Language and Semantic Web in his works.
As part of his studies on Theoretical computer science, Michael Zakharyaschev often connects relevant subjects like Satisfiability. His research is interdisciplinary, bridging the disciplines of Theoretical computer science and Satisfiability. He merges Artificial intelligence with Description logic in his study. In his study, he carries out multidisciplinary Decidability and Undecidable problem research. Undecidable problem and Decidability are two areas of study in which Michael Zakharyaschev engages in interdisciplinary work. His work in Algorithm is not limited to one particular discipline; it also encompasses Fragment (logic). His Programming language study frequently draws connections to adjacent fields such as Description logic. His Modal study often links to related topics such as Accessibility relation. His Accessibility relation study frequently links to other fields, such as Polymer chemistry.
His study connects Process ontology and Information retrieval. He integrates Process ontology with Ontology in his study. In his works, he conducts interdisciplinary research on Ontology and Upper ontology. In most of his Upper ontology studies, his work intersects topics such as Ontology alignment. Michael Zakharyaschev merges Ontology alignment with Semantic Web in his study. While working on this project, he studies both Semantic Web and SPARQL. He integrates several fields in his works, including SPARQL and RDF. He integrates RDF with Ontology language in his research. By researching both Ontology language and Web Ontology Language, Michael Zakharyaschev produces research that crosses academic boundaries.
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.
Modal Logic
Michael Zakharyaschev.
(1997)
Monodic fragments of first-order temporal logics: 2000-2001 A.D
Ian M. Hodkinson;Frank Wolter;Michael Zakharyaschev.
international conference on logic programming (2001)
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)
ε-connections of abstract description systems
Oliver Kutz;Carsten Lutz;Frank Wolter;Michael Zakharyaschev.
Artificial Intelligence (2004)
Connecting abstract description systems
Oliver Kutz;Frank Wolter;Michael Zakharyaschev.
principles of knowledge representation and reasoning (2002)
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)
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:
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
Santa Clara University
Demokritos National Centre for Scientific Research
University of Manchester
National Yang Ming Chiao Tung University
Los Alamos National Laboratory
National Institute for Space Research
University of Melbourne
Institut de Recherche pour le Développement
Vita-Salute San Raffaele University
German Cancer Research Center
The Ohio State University
École Normale Supérieure de Lyon
Waseda University
University of Tokyo
University of Barcelona
Northwestern University