Frank Wolter - Concepedia

Author

Frank Wolter

Also Known As

Carsten Lutz, Dirk Walther, F Wolter, F. Wolter, FRANK WOLTER, Fachbereich Informatik, Frank Wolter, Frank Wolterinst, Holger Sturm, Inst. für Theor. Inf. TU Dresden

393

Publications

11K

Citations

H-Index

101

Concepts

All Affiliations

University of Liverpool University of Bremen Birkbeck, University of London King's College London Technische Universität Dresden

About

Frank Wolter is an author at University of Liverpool specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	36	70	3.8K
2	Language Studies	17	25	1K
3	Management	6	6	295
4	Business	5	5	393
5	Medicine	1	1	16

Frank Wolter

133

Publications

7.4K

Citations

H-Index

Page 1

	Year	Citations
Handbook of Modal Logic Patrick Blackburn, Johan van Benthem, Frank Wolter HAL (Le Centre pour la Communication Scientifique Directe) EngineeringAutomated ReasoningPropositional LogicClassical LogicFormal Methods	2007	424
Determinants of intra-industry trade: Among countries and across industries Rudolf Loertscher, Frank Wolter Review of World Economics EconomicsTrade PolicyInternational BusinessTrade EconomicsTrade	1980	277
Temporal Description Logics: A Survey Carsten Lutz, Frank Wolter, Michael Zakharyaschev EngineeringSatisfiability ProblemVerificationComputational ComplexitySemantics	2008	212
Exploring Artificial Intelligence in the New Millenium Frank Wolter, Michael Zakharyaschev Artificial IntelligenceAi ArchitectureEngineeringArtificial General IntelligenceAutomation	2002	204
Conjunctive query answering in the description logic EL using a relational database system Carsten Lutz, David Toman, Frank Wolter	2009	203
-connections of abstract description systems Oliver Kutz, Carsten Lutz, Frank Wolter, Artificial Intelligence Abstract Description SystemsAutomated ReasoningComputational LinguisticsDescription LogicAbstract Interpretation	2004	202
Decidable fragments of first-order temporal logics Ian Hodkinson, Frank Wolter, Michael Zakharyaschev Annals of Pure and Applied Logic EngineeringDecidable FragmentsAutomated ReasoningFormal MethodsFirst-order Logic	2000	197
Conservative extensions in expressive description logics Carsten Lutz, Dirk Walther, Frank Wolter	2007	180
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 EngineeringOntology VersioningSemanticsSemantic WebFormal Verification	2006	174
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning Brandon Bennett, Anthony G. Cohn, Frank Wolter, Applied Intelligence	2002	172

Page 1