D-Index & Metrics Best Publications

D-Index & Metrics D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines.

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 51 Citations 12,833 223 World Ranking 3480 National Ranking 225

Overview

What is he best known for?

The fields of study Michael Zakharyaschev is best known for:

  • First-order logic
  • Propositional calculus
  • Modal logic

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.

His most cited work include:

  • Many-Dimensional Modal Logics - Theory and Applications (232 citations)
  • The DL-Lite Family and Relations (229 citations)
  • -connections of abstract description systems (205 citations)

What are the main themes of his work throughout his whole career to date

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.

Michael Zakharyaschev most often published in these fields:

  • Theoretical computer science (56.41%)
  • Discrete mathematics (47.44%)
  • Description logic (41.03%)

What were the highlights of his more recent work (between 2017-2021)?

  • Information retrieval (71.43%)
  • Ontology (71.43%)
  • Epistemology (71.43%)

In recent works Michael Zakharyaschev was focusing on the following fields of study:

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.

Between 2017 and 2021, his most popular works were:

  • Querying Log Data with Metric Temporal Logic (33 citations)
  • Ontology-Mediated Queries (20 citations)
  • Query inseparability for<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">ALC</mml:mi></mml:math>ontologies (13 citations)

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.

Best Publications

Modal Logic

Michael Zakharyaschev.
(1997)

1562 Citations

Monodic fragments of first-order temporal logics: 2000-2001 A.D

Ian M. Hodkinson;Frank Wolter;Michael Zakharyaschev.
international conference on logic programming (2001)

1507 Citations

Semi-qualitative Reasoning about Distances: A Preliminary Report

Holger Sturm;Nobu-Yuki Suzuki;Frank Wolter;Michael Zakharyaschev.
Springer US (2000)

1065 Citations

Many-Dimensional Modal Logics: Theory and Applications

Dov M Gabbay;Agi Kurucz;Frank Wolter;Michael Zakharyaschev.
(2013)

853 Citations

The DL-lite family and relations

Alessandro Artale;Diego Calvanese;Roman Kontchakov;Michael Zakharyaschev.
Journal of Artificial Intelligence Research (2009)

653 Citations

ε-connections of abstract description systems

Oliver Kutz;Carsten Lutz;Frank Wolter;Michael Zakharyaschev.
Artificial Intelligence (2004)

325 Citations

Connecting abstract description systems

Oliver Kutz;Frank Wolter;Michael Zakharyaschev.
principles of knowledge representation and reasoning (2002)

324 Citations

Decidable fragments of first-order temporal logics

Ian M. Hodkinson;Frank Wolter;Michael Zakharyaschev.
Annals of Pure and Applied Logic (2000)

276 Citations

Spatio-temporal representation and reasoning based on RCC-8

Frank Wolter;Michael Zakharyaschev.
principles of knowledge representation and reasoning (2000)

223 Citations

Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning

Brandon Bennett;Anthony G. Cohn;Frank Wolter;Michael Zakharyaschev.
Applied Intelligence (2002)

221 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Michael Zakharyaschev

Diego Calvanese

Diego Calvanese

Free University of Bozen-Bolzano

Publications: 126

Carsten Lutz

Carsten Lutz

University of Bremen

Publications: 86

Frank Wolter

Frank Wolter

University of Liverpool

Publications: 75

Bernardo Cuenca Grau

Bernardo Cuenca Grau

University of Oxford

Publications: 62

Ian Horrocks

Ian Horrocks

University of Oxford

Publications: 49

Franz Baader

Franz Baader

TU Dresden

Publications: 46

Riccardo Rosati

Riccardo Rosati

Sapienza University of Rome

Publications: 40

Thomas Eiter

Thomas Eiter

TU Wien

Publications: 40

Michael Fisher

Michael Fisher

University of Manchester

Publications: 39

Maurizio Lenzerini

Maurizio Lenzerini

Sapienza University of Rome

Publications: 39

Bijan Parsia

Bijan Parsia

University of Manchester

Publications: 34

Domenico Lembo

Domenico Lembo

Sapienza University of Rome

Publications: 33

Enrico Franconi

Enrico Franconi

Free University of Bozen-Bolzano

Publications: 29

Umberto Straccia

Umberto Straccia

National Research Council (CNR)

Publications: 29

Marco Montali

Marco Montali

Free University of Bozen-Bolzano

Publications: 25

Nicola Leone

Nicola Leone

University of Calabria

Publications: 25

Trending Scientists

Barry Z. Posner

Barry Z. Posner

Santa Clara University

Stavros J. Perantonis

Stavros J. Perantonis

Demokritos National Centre for Scientific Research

Paul Mativenga

Paul Mativenga

University of Manchester

Chen-Yi Lee

Chen-Yi Lee

National Yang Ming Chiao Tung University

Brian L. Scott

Brian L. Scott

Los Alamos National Laboratory

Jean Pierre Henry Balbaud Ometto

Jean Pierre Henry Balbaud Ometto

National Institute for Space Research

Geoffrey W. Tregear

Geoffrey W. Tregear

University of Melbourne

Jean-Pierre Dujardin

Jean-Pierre Dujardin

Institut de Recherche pour le Développement

Roberto Sitia

Roberto Sitia

Vita-Salute San Raffaele University

Christine Grund

Christine Grund

German Cancer Research Center

David H. Bromwich

David H. Bromwich

The Ohio State University

Philippe Telouk

Philippe Telouk

École Normale Supérieure de Lyon

Hiroshi Koizumi

Hiroshi Koizumi

Waseda University

Kuniyoshi L. Sakai

Kuniyoshi L. Sakai

University of Tokyo

Josep Brugada

Josep Brugada

University of Barcelona

William R. Leonard

William R. Leonard

Northwestern University

Something went wrong. Please try again later.