Takip et
Frank Wolter
Frank Wolter
Department of Computer Science, University of Liverpool
liverpool.ac.uk üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Many-dimensional modal logics: theory and applications
DM Gabbay, A Kurucz, F Wolter, M Zakharyaschev
North Holland, 2003
9762003
Handbook of modal logic
J van Benthem, P Blackburn, F Wolter
Elsevier, 2007
816*2007
E-connections of abstract description systems
O Kutz, C Lutz, F Wolter, M Zakharyaschev
Artificial intelligence 156 (1), 1-73, 2004
3292004
Temporal description logics: A survey
C Lutz, F Wolter, M Zakharyaschev
2008 15th International Symposium on Temporal Representation and Reasoning, 3-14, 2008
3242008
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
3162000
Did I damage my ontology
S Ghilardi, C Lutz, F Wolter
Proc. of KR2006, 187-197, 2006
3002006
Conjunctive Query Answering in the Description Logic EL Using a Relational Database System.
C Lutz, D Toman, F Wolter
IJCAI 9, 2070-2075, 2009
2862009
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
2672014
Conservative Extensions in Expressive Description Logics.
C Lutz, D Walther, F Wolter
IJCAI 7, 453-458, 2007
2622007
Properties of independently axiomatizable bimodal logics
M Kracht, F Wolter
The Journal of Symbolic Logic 56 (4), 1469-1485, 1991
2551991
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
2322002
Spatio-temporal representation and reasoning based on RCC-8.
F Wolter, M Zakharyaschev
KR, 3-14, 2000
2312000
Integrating Description Logics and Action Formalisms: First Results.
F Baader, C Lutz, M Milicic, U Sattler, F Wolter
AAAI 5, 572-577, 2005
2302005
The Combined Approach to Query Answering in DL-Lite.
R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev
KR 10, 247-257, 2010
2162010
Foundations for uniform interpolation and forgetting in expressive description logics
C Lutz, F Wolter
arXiv preprint arXiv:1104.2825, 2011
1882011
Deciding inseparability and conservative extensions in the description logic EL
C Lutz, F Wolter
Journal of Symbolic Computation 45 (2), 194-228, 2010
1872010
The combined approach to ontology-based data access
R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev
AAAI Press, 2011
1862011
Temporalizing Description Logics.
F Wolter, M Zakharyaschev
FroCoS, 379-402, 1998
1771998
The complexity of circumscription in DLs
PA Bonatti, C Lutz, F Wolter
Journal of Artificial Intelligence Research 35, 717-773, 2009
1682009
Updating description logic ABoxes
H Liu, C Lutz, M Milicic, F Wolter
KR 6, 46-56, 2006
1682006
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20