2023 - Research.com Computer Science in United Kingdom Leader Award
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.
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.
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.
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.
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)
Handbook of Modal Logic
Patrick Blackburn;Johan van Benthem;Frank Wolter.
Studies in Logic and Practical Reasoning (2007)
ε-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)
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)
Decidable fragments of first-order temporal logics
Ian M. Hodkinson;Frank Wolter;Michael Zakharyaschev.
Annals of Pure and Applied Logic (2000)
Temporal Description Logics: A Survey
C. Lutz;F. Wolter;M. Zakharyashev.
international symposium on temporal representation and reasoning (2008)
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)
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:
Birkbeck, University of London
University of Bremen
TU Dresden
University of Naples Federico II
University of Manchester
Free University of Bozen-Bolzano
University of Oxford
University of Manchester
University of Leeds
TU Wien
Yahoo (United States)
Delft University of Technology
IBM (United States)
CEA LETI
Guangdong University of Technology
University of Natural Resources and Life Sciences
Spanish National Research Council
Agricultural University of Athens
University of Washington
Brigham Young University
Johns Hopkins University
Niigata University
University of Oklahoma
Seoul National University
University of Bern
University of Cincinnati