D-Index & Metrics Best Publications
Computer Science
UK
2023

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 66 Citations 14,878 250 World Ranking 1476 National Ranking 86

Research.com Recognitions

Awards & Achievements

2023 - Research.com Computer Science in United Kingdom Leader Award

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Artificial intelligence
  • Algebra

His scientific interests lie mostly in Description logic, Theoretical computer science, Decidability, Ontology and Modal logic. The various areas that Frank Wolter examines in his Description logic study include Modularity, Conjunctive query, Information retrieval and Conservative extension. Frank Wolter is involved in the study of Theoretical computer science that focuses on Undecidable problem in particular.

His Decidability research is within the category of Discrete mathematics. Frank Wolter combines subjects such as Ontology and Context with his study of Ontology. His study explores the link between Modal logic and topics such as Multimodal logic that cross with problems in Dynamic logic, Intermediate logic and Calculus.

His most cited work include:

  • Monodic fragments of first-order temporal logics: 2000-2001 A.D (953 citations)
  • Semi-qualitative Reasoning about Distances: A Preliminary Report (683 citations)
  • Many-Dimensional Modal Logics: Theory and Applications (498 citations)

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

The scientist’s investigation covers issues in Description logic, Theoretical computer science, Ontology, Discrete mathematics and Decidability. The study incorporates disciplines such as Algorithm, Conjunctive query, Undecidable problem and Algebra in addition to Description logic. His research investigates the connection with Theoretical computer science and areas like Forgetting which intersect with concerns in Interpolation.

His Discrete mathematics research incorporates elements of Modal logic, Accessibility relation and Temporal logic. As part of the same scientific family, Frank Wolter usually focuses on Modal logic, concentrating on Multimodal logic and intersecting with Dynamic logic. His Decidability research incorporates themes from Fragment, Finite model property and Boolean satisfiability problem.

He most often published in these fields:

  • Description logic (50.68%)
  • Theoretical computer science (34.59%)
  • Ontology (23.63%)

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

  • Description logic (50.68%)
  • Ontology (23.63%)
  • Theoretical computer science (34.59%)

In recent papers he was focusing on the following fields of study:

Frank Wolter mainly focuses on Description logic, Ontology, Theoretical computer science, Decidability and Fragment. In his articles, Frank Wolter combines various disciplines, including Description logic and French horn. His work deals with themes such as Linear temporal logic, Data access, Temporal database and Primitive recursive function, which intersect with Ontology.

The concepts of his Theoretical computer science study are interwoven with issues in Conjunctive query and Decision problem. His study in Decidability is interdisciplinary in nature, drawing from both Craig interpolation, Beth definability and Ontology engineering. His Fragment study deals with P intersecting with Finite model theory, Type, Modal logic and Dichotomy.

Between 2018 and 2021, his most popular works were:

  • Query Inseparability for ALC Ontologies (7 citations)
  • Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (6 citations)
  • Least General Generalizations in Description Logic: Verification and Existence (5 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Artificial intelligence
  • Algebra

Frank Wolter mainly investigates Description logic, Theoretical computer science, Conjunctive query, P and EXPTIME. His Description logic research is multidisciplinary, incorporating perspectives in Concept learning and Link. His Theoretical computer science study typically links adjacent topics like Ontology.

His research in Conjunctive query focuses on subjects like Decidability, which are connected to Range, Algebra, Generalization and Meaning. His P research includes themes of Datalog, Fragment and Modal logic. His EXPTIME research incorporates elements of NEXPTIME, Undecidable problem, Polynomial hierarchy, Extension and Decision problem.

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

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

Handbook of Modal Logic

Patrick Blackburn;Johan van Benthem;Frank Wolter.
Studies in Logic and Practical Reasoning (2007)

715 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

Did I damage my ontology? A case for conservative extensions in description logic

Silvio Ghilardi;Carsten Lutz;Frank Wolter.
principles of knowledge representation and reasoning (2006)

282 Citations

Decidable fragments of first-order temporal logics

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

276 Citations

Temporal Description Logics: A Survey

C. Lutz;F. Wolter;M. Zakharyashev.
international symposium on temporal representation and reasoning (2008)

275 Citations

Conjunctive query answering in the description logic EL using a relational database system

Carsten Lutz;David Toman;Frank Wolter.
international joint conference on artificial intelligence (2009)

264 Citations

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

Contact us

Best Scientists Citing Frank Wolter

Bernardo Cuenca Grau

Bernardo Cuenca Grau

University of Oxford

Publications: 90

Diego Calvanese

Diego Calvanese

Free University of Bozen-Bolzano

Publications: 84

Ian Horrocks

Ian Horrocks

University of Oxford

Publications: 78

Michael Zakharyaschev

Michael Zakharyaschev

Birkbeck, University of London

Publications: 74

Franz Baader

Franz Baader

TU Dresden

Publications: 60

Carsten Lutz

Carsten Lutz

University of Bremen

Publications: 55

Thomas Eiter

Thomas Eiter

TU Wien

Publications: 47

Michael Fisher

Michael Fisher

University of Manchester

Publications: 45

Ulrike Sattler

Ulrike Sattler

University of Manchester

Publications: 44

Riccardo Rosati

Riccardo Rosati

Sapienza University of Rome

Publications: 41

Bijan Parsia

Bijan Parsia

University of Manchester

Publications: 41

Maurizio Lenzerini

Maurizio Lenzerini

Sapienza University of Rome

Publications: 38

Boris Motik

Boris Motik

University of Oxford

Publications: 31

Sebastian Rudolph

Sebastian Rudolph

TU Dresden

Publications: 30

Wiebe van der Hoek

Wiebe van der Hoek

University of Liverpool

Publications: 29

Giuseppe De Giacomo

Giuseppe De Giacomo

Sapienza University of Rome

Publications: 28

Trending Scientists

Maxim Sviridenko

Maxim Sviridenko

Yahoo (United States)

Stamatis Vassiliadis

Stamatis Vassiliadis

Delft University of Technology

Carl Phillip Gusler

Carl Phillip Gusler

IBM (United States)

Francois Andrieu

Francois Andrieu

CEA LETI

Renquan Lu

Renquan Lu

Guangdong University of Technology

Thomas Rosenau

Thomas Rosenau

University of Natural Resources and Life Sciences

Mario Canales

Mario Canales

Spanish National Research Council

Seraphim Papanikolaou

Seraphim Papanikolaou

Agricultural University of Athens

David R. Sherman

David R. Sherman

University of Washington

Michael F. Whiting

Michael F. Whiting

Brigham Young University

Peter Olson

Peter Olson

Johns Hopkins University

Toru Abo

Toru Abo

Niigata University

Michael S. Cookson

Michael S. Cookson

University of Oklahoma

Byung Ihn Choi

Byung Ihn Choi

Seoul National University

Thomas Berger

Thomas Berger

University of Bern

Michael L. Benson

Michael L. Benson

University of Cincinnati

Something went wrong. Please try again later.