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;J. F. A. K. van Benthem;F. Wolter.
Studies in Logic and Practical Reasoning (2007)
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)
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)
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)
Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-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.
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
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: