Frank Wolter

Geciteerd door

	Alles	Sinds 2020
Citaties	14801	3297
h-index	67	30
i10-index	182	101

840

420

210

630

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202561 67 86 81 174 217 207 300 375 447 652 607 733 729 698 713 736 835 813 701 675 621 751 724 621 650 628 564 106

Openbare toegang

Alles bekijken

45 artikelen

1 artikel

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Michael ZakharyaschevBirkbeck, University of LondonGeverifieerd e-mailadres voor dcs.bbk.ac.uk
Carsten LutzProfessor of Computer Science, University of LeipzigGeverifieerd e-mailadres voor informatik.uni-leipzig.de
Roman KontchakovReader, Birkbeck, University of LondonGeverifieerd e-mailadres voor dcs.bbk.ac.uk
Boris KonevProfessor of Computer Science, Liverpool UniversityGeverifieerd e-mailadres voor liverpool.ac.uk
Alessandro ArtaleAssociate Professor of Computer Science, Free University of Bozen-BolzanoGeverifieerd e-mailadres voor inf.unibz.it
Vladislav RyzhikovLecturer In Computer Science, Birkbeck, Univ. of LondonGeverifieerd e-mailadres voor dcs.bbk.ac.uk
Franz BaaderProfessor of Theoretical Computer Science, TU Dresden, and SCADS.AI Dresden/LeipzigGeverifieerd e-mailadres voor tu-dresden.de
Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterGeverifieerd e-mailadres voor cs.man.ac.uk
Oliver KutzFree University of Bozen-BolzanoGeverifieerd e-mailadres voor unibz.it
David TomanProfessor of Computer Science, University of WaterlooGeverifieerd e-mailadres voor uwaterloo.ca
David GabelaiaResearcher, Razmadze Mathematical InstituteGeverifieerd e-mailadres voor rmi.ge
Elena BotoevaUniversity of KentGeverifieerd e-mailadres voor kent.ac.uk
Ana OzakiUniversity of Oslo & University of BergenGeverifieerd e-mailadres voor uib.no
Patrick BlackburnProfessor of Philosophy, Roskilde University, DenmarkGeverifieerd e-mailadres voor ruc.dk
Dmitry TishkovskyResearch Fellow, School of Computer Science, University of ManchesterGeverifieerd e-mailadres voor manchester.ac.uk
silvio ghilardiUniversità degli Studi di MilanoGeverifieerd e-mailadres voor unimi.it
André HernichUniversity of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyGeverifieerd e-mailadres voor uni-bremen.de
Michael WooldridgeUniversity of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
Enrico FranconiProfessor of Computer Science, KRDB, Free University of Bozen-BolzanoGeverifieerd e-mailadres voor inf.unibz.it

Volgen

Frank Wolter

Department of Computer Science, University of Liverpool

Geverifieerd e-mailadres voor liverpool.ac.uk

Artificial Intelligence Logic in Computer Science Knowledge Representation Modal Logic Logic


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Many-dimensional modal logics: theory and applications DM Gabbay, A Kurucz, F Wolter, M Zakharyaschev North Holland, 2003	976	2003
Handbook of modal logic J van Benthem, P Blackburn, F Wolter Elsevier, 2007	818*	2007
E-connections of abstract description systems O Kutz, C Lutz, F Wolter, M Zakharyaschev Artificial intelligence 156 (1), 1-73, 2004	329	2004
Temporal description logics: A survey C Lutz, F Wolter, M Zakharyaschev 2008 15th International Symposium on Temporal Representation and Reasoning, 3-14, 2008	326	2008
Decidable fragments of first-order temporal logics I Hodkinson, F Wolter, M Zakharyaschev Annals of Pure and Applied logic 106 (1-3), 85-134, 2000	316	2000
Did I damage my ontology S Ghilardi, C Lutz, F Wolter Proc. of KR2006, 187-197, 2006	300	2006
Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. C Lutz, D Toman, F Wolter IJCAI 9, 2070-2075, 2009	286	2009
Ontology-based data access: A study through disjunctive datalog, CSP, and MMSNP M Bienvenu, BT Cate, C Lutz, F Wolter ACM Transactions on Database Systems (TODS) 39 (4), 1-44, 2014	267	2014
Conservative Extensions in Expressive Description Logics. C Lutz, D Walther, F Wolter IJCAI 7, 453-458, 2007	262	2007
Properties of independently axiomatizable bimodal logics M Kracht, F Wolter The Journal of Symbolic Logic 56 (4), 1469-1485, 1991	256	1991
Multi-dimensional modal logic as a framework for spatio-temporal reasoning B Bennett, AG Cohn, F Wolter, M Zakharyaschev Applied Intelligence 17, 239-251, 2002	233	2002
Integrating Description Logics and Action Formalisms: First Results. F Baader, C Lutz, M Milicic, U Sattler, F Wolter AAAI 5, 572-577, 2005	231	2005
Spatio-temporal representation and reasoning based on RCC-8. F Wolter, M Zakharyaschev KR, 3-14, 2000	231	2000
The Combined Approach to Query Answering in DL-Lite. R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev KR 10, 247-257, 2010	217	2010
Foundations for uniform interpolation and forgetting in expressive description logics C Lutz, F Wolter arXiv preprint arXiv:1104.2825, 2011	188	2011
Deciding inseparability and conservative extensions in the description logic EL C Lutz, F Wolter Journal of Symbolic Computation 45 (2), 194-228, 2010	187	2010
The combined approach to ontology-based data access R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev AAAI Press, 2011	186	2011
Temporalizing Description Logics. F Wolter, M Zakharyaschev FroCoS, 379-402, 1998	177	1998
The complexity of circumscription in DLs PA Bonatti, C Lutz, F Wolter Journal of Artificial Intelligence Research 35, 717-773, 2009	168	2009
Updating description logic ABoxes H Liu, C Lutz, M Milicic, F Wolter KR 6, 46-56, 2006	168	2006

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs