default search action
Frank Wolter
Person information
- affiliation: University of Liverpool, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j70]James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Frank Wolter:
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282). Dagstuhl Manifestos 10(1): 1-61 (2024) - [c170]Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
The Interpolant Existence Problem for Weak K4 and Difference Logic. AiML 2024: 465-484 - [c169]Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter:
An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract). Description Logics 2024 - [c168]Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev:
Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract). Description Logics 2024 - [c167]Frank Wolter, Michael Zakharyaschev:
Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations. Description Logics 2024 - [c166]Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Extremal Separation Problems for Temporal Instance Queries. IJCAI 2024: 3448-3456 - [c165]Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter:
Non-Rigid Designators in Modal and Temporal Free Description Logics. KR 2024 - [c164]Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology. KR 2024 - [i44]Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
The interpolant existence problem for weak K4 and difference logic. CoRR abs/2403.11255 (2024) - [i43]Frank Wolter, Michael Zakharyaschev:
Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations. CoRR abs/2404.02683 (2024) - [i42]Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Extremal Separation Problems for Temporal Instance Queries. CoRR abs/2405.03511 (2024) - [i41]Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter:
Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version). CoRR abs/2405.07656 (2024) - 2023
- [j69]Alessandro Artale
, Jean Christoph Jung
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. ACM Trans. Comput. Log. 24(4): 34:1-34:51 (2023) - [c163]Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract). Description Logics 2023 - [c162]Marie Fortin, Boris Konev
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. IJCAI 2023: 3230-3238 - [c161]Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Definitions and (Uniform) Interpolants in First-Order Modal Logic. KR 2023: 417-428 - [i40]Agi Kurucz, Frank Wolter
Definitions and (Uniform) Interpolants in First-Order Modal Logic. CoRR abs/2303.04598 (2023) - [i39]Marie Fortin, Boris Konev
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. CoRR abs/2305.01248 (2023) - [i38]Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries. CoRR abs/2306.07662 (2023) - [i37]James P. Delgrande, Birte Glimm, Thomas Andreas Meyer, Miroslaw Truszczynski, Frank Wolter
Current and Future Challenges in Knowledge Representation and Reasoning. CoRR abs/2308.04161 (2023) - [i36]Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
A non-uniform view of Craig interpolation in modal logics with linear frames. CoRR abs/2312.05929 (2023) - 2022
- [j68]Jean Christoph Jung
Logical separability of labeled data examples under ontologies. Artif. Intell. 313: 103785 (2022) - [j67]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. J. Artif. Intell. Res. 75: 1223-1291 (2022) - [c160]Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract). Description Logics 2022 - [c159]Jean Christoph Jung, Andrea Mazzullo, Frank Wolter:
More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions. Description Logics 2022 - [c158]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract). IJCAI 2022: 5703-5707 - [c157]Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Unique Characterisability and Learnability of Temporal Instance Queries. KR 2022 - [c156]Marie Fortin, Boris Konev, Frank Wolter:
Interpolants and Explicit Definitions in Extensions of the Description Logic EL. KR 2022 - [i35]Marie Fortin, Boris Konev
Interpolants and Explicit Definitions in Extensions of the Description Logic EL. CoRR abs/2202.07186 (2022) - [i34]Marie Fortin, Boris Konev
Unique Characterisability and Learnability of Temporal Instance Queries. CoRR abs/2205.01651 (2022) - [i33]James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Milene Santos Teixeira, Frank Wolter:
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282). Dagstuhl Reports 12(7): 62-79 (2022) - 2021
- [j66]Alessandro Artale
First-order rewritability of ontology-mediated queries in linear temporal logic. Artif. Intell. 299: 103536 (2021) - [c155]Alessandro Artale, Jean Christoph Jung
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. AAAI 2021: 6193-6201 - [c154]Marie Fortin, Boris Konev, Frank Wolter:
Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract). Description Logics 2021 - [c153]Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter:
How to Approximate Ontology-Mediated Queries (Extended Abstract. Description Logics 2021 - [c152]Frank Wolter:
Living Without Beth and Craig: Explicit Definitions and Interpolants without Beth Definability and Craig Interpolation (Abstract of Invited Talk). SOQE@KR 2021: 14 - [c151]Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
On Free Description Logics with Definite Descriptions. KR 2021: 63-73 - [c150]Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter:
How to Approximate Ontology-Mediated Queries. KR 2021: 323-333 - [c149]Jean Christoph Jung
Separating Data Examples by Description Logic Concepts with Restricted Signatures. KR 2021: 390-399 - [c148]Jean Christoph Jung
Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments. LICS 2021: 1-14 - [i32]Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
On Free Description Logics with Definite Descriptions. CoRR abs/2106.15513 (2021) - [i31]Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Separating Data Examples by Description Logic Concepts with Restricted Signatures. CoRR abs/2107.05285 (2021) - [i30]Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter:
How to Approximate Ontology-Mediated Queries. CoRR abs/2107.05369 (2021) - [i29]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. CoRR abs/2111.06806 (2021) - 2020
- [j65]André Hernich, Carsten Lutz, Fabio Papacchini
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. ACM Trans. Comput. Log. 21(3): 20:1-20:47 (2020) - [c147]Jean Christoph Jung
Least General Generalizations in Description Logic: Verification and Existence. AAAI 2020: 2854-2861 - [c146]Alessandro Artale, Jean Christoph Jung
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract). Description Logics 2020 - [c145]Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
On Free Description Logics with Definite Descriptions. Description Logics 2020 - [c144]Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter:
A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract). Description Logics 2020 - [c143]Jean Christoph Jung
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract). Description Logics 2020 - [c142]Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter:
A Journey into Ontology Approximation: From Non-Horn to Horn. IJCAI 2020: 1827-1833 - [c141]Jean Christoph Jung
Logical Separability of Incomplete Data under Ontologies. KR 2020: 517-528 - [c140]Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Boolean Role Inclusions in DL-Lite With and Without Time. KR 2020: 582-591 - [i28]Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter:
A Journey into Ontology Approximation: From Non-Horn to Horn. CoRR abs/2001.07754 (2020) - [i27]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. CoRR abs/2004.07221 (2020) - [i26]Jean Christoph Jung, Frank Wolter:
Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment. CoRR abs/2007.01597 (2020) - [i25]Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Logical Separability of Incomplete Data under Ontologies. CoRR abs/2007.01610 (2020) - [i24]Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures. CoRR abs/2007.02669 (2020) - [i23]Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals. CoRR abs/2007.02736 (2020) - [i22]Cristina Feier, Carsten Lutz, Frank Wolter:
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying. CoRR abs/2010.11848 (2020) - [i21]Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter:
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. CoRR abs/2011.09836 (2020)
2010 – 2019
- 2019
- [j64]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter
Query inseparability for ALC ontologies. Artif. Intell. 272: 1-51 (2019) - [j63]Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter
Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators. J. Symb. Log. 84(2): 533-588 (2019) - [j62]Carsten Lutz, Inanç Seylan, Frank Wolter
The Data Complexity of Ontology-Mediated Queries with Closed Predicates. Log. Methods Comput. Sci. 15(3) (2019) - [c139]Carsten Lutz, Uli Sattler, Cesare Tinelli
A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction. Description Logic, Theory Combination, and All That 2019: 1-14 - [c138]Maurice Funk, Jean Christoph Jung
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract). Description Logics 2019 - [c137]Jean Christoph Jung
Model Comparison Games for Horn Description Logics: A Summary. Description Logics 2019 - [c136]Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
A Note on DL-Lite with Boolean Role Inclusions. Description Logics 2019 - [c135]Anneke Bötcher, Carsten Lutz, Frank Wolter
Ontology Approximation in Horn Description Logics. IJCAI 2019: 1574-1580 - [c134]Maurice Funk
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?. IJCAI 2019: 1682-1688 - [c133]Jean Christoph Jung
Model Comparison Games for Horn Description Logics. LICS 2019: 1-14 - [e12]Carsten Lutz, Uli Sattler
Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 11560, Springer 2019, ISBN 978-3-030-22101-0 [contents] - [i20]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query Inseparability for ALC Ontologies. CoRR abs/1902.00014 (2019) - [i19]Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev:
Model Comparison Games for Horn Description Logics. CoRR abs/1904.06919 (2019) - 2018
- [c132]Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
On Strictly Positive Modal Logics with S4.3 Frames. Advances in Modal Logic 2018: 427-446 - [c131]Anneke Bötcher, Carsten Lutz, Frank Wolter:
Complete Approximations of Horn DL Ontologies. Description Logics 2018 - [c130]Cristina Feier, Carsten Lutz, Frank Wolter:
From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying. Description Logics 2018 - [c129]Fabio Papacchini
A Van Benthem Theorem for Horn Description and Modal Logic. Description Logics 2018 - [c128]Cristina Feier, Carsten Lutz, Frank Wolter
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying. IJCAI 2018: 1810-1816 - [c127]André Hernich, Carsten Lutz, Fabio Papacchini
Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying. IJCAI 2018: 1861-1867 - [e11]Michael Thielscher, Francesca Toni, Frank Wolter:
Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. AAAI Press 2018, ISBN 978-1-57735-803-9 [contents] - [i18]André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter:
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. CoRR abs/1804.06894 (2018) - [i17]Elena Botoeva, Boris Konev
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. CoRR abs/1804.07805 (2018) - [i16]Carsten Lutz, Inanç Seylan, Frank Wolter:
The Data Complexity of Ontology-Mediated Queries with Closed Predicates. CoRR abs/1809.00134 (2018) - 2017
- [j61]Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter:
Exact Learning of Lightweight Description Logic Ontologies. J. Mach. Learn. Res. 18: 201:1-201:63 (2017) - [j60]Carsten Lutz, Frank Wolter
The Data Complexity of Description Logic Ontologies. Log. Methods Comput. Sci. 13(4) (2017) - [c126]André Hernich, Julio Lemos, Frank Wolter:
Query Answering in DL-Lite with Datatypes: A Non-Uniform Approach. AAAI 2017: 1142-1148 - [c125]André Hernich, Carsten Lutz, Fabio Papacchini
Horn Rewritability vs PTime Query Answering for Description Logic TBoxes. Description Logics 2017 - [c124]Jean Christoph Jung
Conservative Extensions in Guarded and Two-Variable Fragments. ICALP 2017: 108:1-108:14 - [c123]André Hernich, Carsten Lutz, Fabio Papacchini
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. PODS 2017: 185-199 - [c122]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova
Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). TIME 2017: 1:1-1:37 - [i15]Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter:
Conservative Extensions in Guarded and Two-Variable Fragments. CoRR abs/1705.10115 (2017) - [i14]Stanislav Kikot, Ágnes Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev:
Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators. CoRR abs/1708.03403 (2017) - [i13]Boris Konev
Exact Learning of Lightweight Description Logic Ontologies. CoRR abs/1709.07314 (2017) - 2016
- [j59]Elena Botoeva
Games for query inseparability of description logic knowledge bases. Artif. Intell. 234: 78-119 (2016) - [j58]Franz Baader
Query and Predicate Emptiness in Ontology-Based Data Access. J. Artif. Intell. Res. 56: 1-59 (2016) - [c121]Boris Konev
A Model for Learning Description Logic Ontologies Based on Exact Learning. AAAI 2016: 1008-1015 - [c120]Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter:
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. Description Logics 2016 - [c119]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
When is Query Inseparability for ALC Ontologies Decidable? Description Logics 2016 - [c118]André Hernich, Julio Lemos, Frank Wolter:
Constraint Patterns for Tractable Ontology-Mediated Queries with Datatypes. Description Logics 2016 - [c117]Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter:
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. IJCAI 2016: 965-971 - [c116]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query-Based Entailment and Inseparability for ALC Ontologies. IJCAI 2016: 1001-1007 - [c115]Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Conservative Rewritability of Description Logic TBoxes. IJCAI 2016: 1153-1159 - [c114]Frank Wolter
Automata for Ontologies. LATA 2016: 57-60 - [c113]Elena Botoeva, Boris Konev
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. RW 2016: 27-89 - [e10]Chitta Baral, James P. Delgrande, Frank Wolter:
Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016. AAAI Press 2016, ISBN 978-1-57735-755-1 [contents] - [i12]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query-Based Entailment and Inseparability for ALC Ontologies (Full Version). CoRR abs/1604.04164 (2016) - [i11]Carsten Lutz, Frank Wolter:
The Data Complexity of Description Logic Ontologies. CoRR abs/1611.02453 (2016) - 2015
- [j57]Leszek Gasieniec, Russell Martin, Frank Wolter
Fundamentals of Computation Theory. Theor. Comput. Sci. 590: 1 (2015) - [c112]Piero A. Bonatti, Marco Faella, Carsten Lutz, Luigi Sauro, Frank Wolter
Decidability of Circumscribed Description Logics Revisited. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 112-124 - [c111]André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter:
Schema.org as a Description Logic. Description Logics 2015 - [c110]Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Conservative Rewritability of Description Logic TBoxes: First Results. Description Logics 2015 - [c109]Boris Konev, Ana Ozaki, Frank Wolter:
Exact Learning Description Logic Ontologies from Data Retrieval Examples. Description Logics 2015 - [c108]Carsten Lutz
On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems. ICDT 2015: 363-379 - [c107]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability of Temporal Ontology-Mediated Queries. IJCAI 2015: 2706-2712 - [c106]Peter Hansen, Carsten Lutz, Inanç Seylan, Frank Wolter:
Efficient Query Rewriting in the Description Logic EL and Beyond. IJCAI 2015: 3034-3040 - [c105]André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter:
Schema.org as a Description Logic. IJCAI 2015: 3048-3054 - [c104]Carsten Lutz, Inanç Seylan, Frank Wolter:
Ontology-Mediated Queries with Closed Predicates. IJCAI 2015: 3120-3126 - [c103]Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
When Are Description Logic Knowledge Bases Indistinguishable? IJCAI 2015: 4240-4246 - 2014
- [j56]Meghyn Bienvenu
Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. ACM Trans. Database Syst. 39(4): 33:1-33:44 (2014) - [c102]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Temporal OBDA with LTL and DL-Lite. Description Logics 2014: 21-32 - [c101]Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query Inseparability by Games. Description Logics 2014: 83-95 - [c100]William Gatens, Boris Konev, Frank Wolter:
Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. Description Logics 2014: 181-184 - [c99]Peter Hansen, Carsten Lutz, Inanç Seylan, Frank Wolter:
Query Rewriting under EL TBoxes: Efficient Algorithms. Description Logics 2014: 197-208 - [c98]William Gatens, Boris Konev
Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. ECAI 2014: 345-350 - [c97]Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query Inseparability for Description Logic Knowledge Bases. KR 2014 - [c96]Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter:
Exact Learning of Lightweight Description Logic Ontologies. KR 2014 - [i10]Piero A. Bonatti, Carsten Lutz, Frank Wolter:
The Complexity of Circumscription in DLs. CoRR abs/1401.3476 (2014) - [i9]Boris Konev
The Logical Difference for the Lightweight Description Logic EL. CoRR abs/1401.5850 (2014) - 2013
- [j55]Boris Konev
Model-theoretic inseparability and modularity of description logic ontologies. Artif. Intell. 203: 66-103 (2013) - [c95]Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporalising OWL 2 QL. Description Logics 2013: 17-28 - [c94]Boris Konev, Carsten Lutz, Frank Wolter:
Exact Learning of TBoxes in EL and DL-Lite. Description Logics 2013: 341-352 - [c93]Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporal Description Logic for Ontology-Based Data Access. IJCAI 2013: 711-717 - [c92]Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
First-Order Rewritability of Atomic Queries in Horn Description Logics. IJCAI 2013: 754-760 - [c91]Carsten Lutz, Inanç Seylan, Frank Wolter:
Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes). IJCAI 2013: 1024-1030 - [c90]Meghyn Bienvenu, Balder ten Cate, Carsten Lutz
Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP. PODS 2013: 213-224 - [c89]Carsten Lutz
The Combined Approach to OBDA: Taming Role Hierarchies Using Filters. ISWC (1) 2013: 314-330 - [c88]William Gatens, Boris Konev, Frank Wolter:
Module Extraction for Acyclic Ontologies. WoMO 2013 - [e9]Leszek Gasieniec, Frank Wolter:
Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings. Lecture Notes in Computer Science 8070, Springer 2013, ISBN 978-3-642-40163-3 [contents] - [i8]Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter:
Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. CoRR abs/1301.6479 (2013) - [i7]Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporal Description Logic for Ontology-Based Data Access (Extended Version). CoRR abs/1304.5185 (2013) - 2012
- [j54]Boris Konev
The Logical Difference for the Lightweight Description Logic EL. J. Artif. Intell. Res. 44: 633-708 (2012) - [j53]Frank Wolter:
Book Reviews. Stud Logica 100(3): 649-651 (2012) - [c87]Boris Konev
Logical Difference Computation with CEX2.5. IJCAR 2012: 371-377 - [c86]Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
Deciding FO-Rewritability in EL. Description Logics 2012 - [c85]Carsten Lutz, Inanç Seylan, Frank Wolter:
Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity. Description Logics 2012 - [c84]Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
Query Containment in Description Logics Reconsidered. KR 2012 - [c83]Carsten Lutz, Inanç Seylan, Frank Wolter:
An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL. KR 2012 - [c82]Carsten Lutz, Frank Wolter:
Non-Uniform Data Complexity of Query Answering in Description Logics. KR 2012 - [c81]Carsten Lutz, Inanç Seylan, David Toman, Frank Wolter:
The Combined Approach to OBDA: Taming Role Hierarchies using Filters. SSWS+HPCSW@ISWC 2012: 16-31 - [e8]Yevgeny Kazakov, Domenico Lembo, Frank Wolter:
Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. CEUR Workshop Proceedings 846, CEUR-WS.org 2012 [contents] - 2011
- [j52]Hongkai Liu, Carsten Lutz
Foundations of instance level updates in expressive description logics. Artif. Intell. 175(18): 2170-2197 (2011) - [c80]Boris Konev
Conjunctive Query Inseparability of OWL 2 QL TBoxes. AAAI 2011: 221-226 - [c79]Frank Wolter:
Ontology-Based Data Access and Constraint Satisfaction. CSL 2011: 4 - [c78]Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev:
Module Extraction via Query Inseparability in OWL 2 QL. Description Logics 2011 - [c77]Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
On P/NP Dichotomies for EL Subsumption under Relational Constraints. Description Logics 2011 - [c76]Carsten Lutz, Frank Wolter:
Non-Uniform Data Complexity of Query Answering in Description Logics. Description Logics 2011 - [c75]Carsten Lutz
Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability. IJCAI 2011: 983-988 - [c74]Carsten Lutz
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. IJCAI 2011: 989-995 - [c73]Roman Kontchakov
The Combined Approach to Ontology-Based Data Access. IJCAI 2011: 2656-2661 - [e7]Carlo Combi, Martin Leucker, Frank Wolter:
Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011. IEEE 2011, ISBN 978-1-4577-1242-5 [contents] - [i6]Carsten Lutz, Frank Wolter:
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. CoRR abs/1104.2825 (2011) - [i5]Carsten Lutz, Robert Piro, Frank Wolter:
Description Logic TBoxes: Model-theoretic Characterizations and Rewritability. CoRR abs/1104.2844 (2011) - [i4]Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter:
Fusions of Description Logics and Abstract Description Systems. CoRR abs/1106.1802 (2011) - [i3]David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. CoRR abs/1110.2726 (2011) - 2010
- [j51]Roman Kontchakov
Logic-based ontology comparison and module extraction, with an application to DL-Lite. Artif. Intell. 174(15): 1093-1141 (2010) - [j50]Mikhail Sheremet
A modal logic framework for reasoning about comparative distances and topology. Ann. Pure Appl. Log. 161(4): 534-559 (2010) - [j49]Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev:
Spatial logics with connectedness predicates. Log. Methods Comput. Sci. 6(3) (2010) - [j48]Carsten Lutz
Deciding inseparability and conservative extensions in the description logic EL. J. Symb. Comput. 45(2): 194-228 (2010) - [c72]Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL. Advances in Modal Logic 2010: 271-291 - [c71]Carsten Lutz, Robert Piro, Frank Wolter:
EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers. Description Logics 2010 - [c70]Carsten Lutz, Robert Piro, Frank Wolter:
Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints. ECAI 2010: 41-46 - [c69]Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
Query and Predicate Emptiness in Description Logics. KR 2010 - [c68]Boris Konev, Carsten Lutz, Denis K. Ponomaryov, Frank Wolter:
Decomposing Description Logic Ontologies. KR 2010 - [c67]Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
The Combined Approach to Query Answering in DL-Lite. KR 2010
2000 – 2009
- 2009
- [j47]Piero A. Bonatti, Carsten Lutz, Frank Wolter
The Complexity of Circumscription in DLs. J. Artif. Intell. Res. 35: 717-773 (2009) - [c66]Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
Query Answering over DL ABoxes: How to Pick the Relevant Symbols. Description Logics 2009 - [c65]Boris Konev, Dirk Walther, Frank Wolter:
Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. Description Logics 2009 - [c64]Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. Description Logics 2009 - [c63]Boris Konev, Dirk Walther, Frank Wolter:
Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. IJCAI 2009: 830-835 - [c62]Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev:
Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. IJCAI 2009: 836-841 - [c61]Carsten Lutz, David Toman, Frank Wolter:
Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. IJCAI 2009: 2070-2075 - [c60]Carsten Lutz
Mathematical Logic for Life Science Ontologies. WoLLIC 2009: 37-47 - [p4]Boris Konev
Formal Properties of Modularisation. Modular Ontologies 2009: 25-66 - 2008
- [j46]Frank Wolter
Undecidability of the unification and admissibility problems for modal and description logics. ACM Trans. Comput. Log. 9(4): 25:1-25:20 (2008) - [c59]Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev:
Topology, connectedness, and modal logic. Advances in Modal Logic 2008: 151-176 - [c58]Boris Konev
The Logical Difference Problem for Description Logic Terminologies. IJCAR 2008: 259-274 - [c57]Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter:
Logical Difference and Module Extraction with CEX and MEX. Description Logics 2008 - [c56]Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Checking DL-Lite Modularity with QBF Solvers. Description Logics 2008 - [c55]Boris Konev
Semantic Modularity and Module Extraction in Description Logics. ECAI 2008: 55-59 - [c54]Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Can You Tell the Difference Between DL-Lite Ontologies?. KR 2008: 285-295 - [c53]Roman Kontchakov
On the Computational Complexity of Spatial Logics with Connectedness Constraints. LPAR 2008: 574-589 - [c52]Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter:
CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL. OWLED (Spring) 2008 - [c51]Carsten Lutz, David Toman, Frank Wolter:
Conjunctive Query Answering in EL using a Database System. OWLED 2008 - [c50]Carsten Lutz
Temporal Description Logics: A Survey. TIME 2008: 3-14 - [e6]Bernardo Cuenca Grau, Vasant G. Honavar, Anne Schlicht, Frank Wolter:
Proceedings of the 2nd International Workshop on Modular Ontologies, WoMO 2007, Whistler, Canada, October 28, 2007. CEUR Workshop Proceedings 315, CEUR-WS.org 2008 [contents] - 2007
- [j45]Carsten Lutz
Quantitative temporal logics over the reals: PSpace and below. Inf. Comput. 205(1): 99-123 (2007) - [j44]Mikhail Sheremet
A Logic for Concepts and Similarity. J. Log. Comput. 17(3): 415-452 (2007) - [c49]Carsten Lutz, Frank Wolter
Conservative Extensions in the Lightweight Description Logic EL. CADE 2007: 84-99 - [c48]Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Modularity in DL-Lite. Description Logics 2007 - [c47]Carsten Lutz, Dirk Walther, Frank Wolter:
Conservative Extensions in Expressive Description Logics. IJCAI 2007: 453-458 - [c46]Alessandro Artale, Roman Kontchakov
Temporalising Tractable Description Logics. TIME 2007: 11-22 - [p3]Frank Wolter
Modal decision problems. Handbook of Modal Logic 2007: 427-489 - [p2]Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Spatial Logic + Temporal Logic = ?. Handbook of Spatial Logics 2007: 497-564 - [e5]Patrick Blackburn, J. F. A. K. van Benthem, Frank Wolter:
Handbook of Modal Logic. Studies in logic and practical reasoning 3, North-Holland 2007, ISBN 978-0-444-51690-9 [contents] - [e4]Boris Konev, Frank Wolter:
Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings. Lecture Notes in Computer Science 4720, Springer 2007, ISBN 978-3-540-74620-1 [contents] - 2006
- [j43]David Gabelaia, Agi Kurucz
Non-primitive recursive decidability of products of modal logics with expanding domains. Ann. Pure Appl. Log. 142(1-3): 245-268 (2006) - [j42]Carsten Lutz, Frank Wolter
Modal Logics of Topological Relations. Log. Methods Comput. Sci. 2(2) (2006) - [j41]Dirk Walther, Carsten Lutz
ATL Satisfiability is Indeed EXPTIME-complete. J. Log. Comput. 16(6): 765-787 (2006) - [j40]Wolfgang Rautenberg, Michael Zakharyaschev
Willem Blok and Modal Logic. Stud Logica 83(1-3): 15-30 (2006) - [j39]Boris Konev
On Dynamic Topological and Metric Logics. Stud Logica 84(1): 129-160 (2006) - [c45]Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Conservative extensions in modal logic. Advances in Modal Logic 2006: 187-207 - [c44]Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Dynamic topological logics over spaces with continuous functions. Advances in Modal Logic 2006: 299-318 - [c43]Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev:
From topology to metric: modal logic and quantification in metric spaces. Advances in Modal Logic 2006: 429-448 - [c42]Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter:
DL Actions with GCIs: a Pragmatic Approach. Description Logics 2006 - [c41]Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
Reasoning About Actions Using Description Logics with General TBoxes. JELIA 2006: 266-279 - [c40]Ullrich Hustadt
Automated Reasoning About Metric and Topology. JELIA 2006: 490-493 - [c39]Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter:
Updating Description Logic ABoxes. KR 2006: 46-56 - [c38]Silvio Ghilardi, Carsten Lutz, Frank Wolter:
Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. KR 2006: 187-197 - [c37]Piero A. Bonatti, Carsten Lutz, Frank Wolter:
Description Logics with Circumscription. KR 2006: 400-410 - [i2]Carsten Lutz, Frank Wolter:
Modal Logics of Topological Relations. CoRR abs/cs/0605064 (2006) - [i1]Frank Wolter, Michael Zakharyaschev:
Undecidability of the unification and admissibility problems for modal and description logics. CoRR abs/cs/0609052 (2006) - 2005
- [j38]David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. J. Artif. Intell. Res. 23: 167-243 (2005) - [j37]Frank Wolter
A logic for metric and topology. J. Symb. Log. 70(3): 795-828 (2005) - [j36]David Gabelaia, Agi Kurucz
Products of 'transitive' modal logics. J. Symb. Log. 70(3): 993-1021 (2005) - [j35]Tadeusz Litak
All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete. Stud Logica 81(2): 153-165 (2005) - [c36]Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter:
Integrating Description Logics and Action Formalisms: First Results. AAAI 2005: 572-577 - [c35]Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Modal Logics for Metric Spaces: Open Problems. We Will Show Them! (2) 2005: 193-108 - [c34]Boris Konev
Temporal Logics over Transitive States. CADE 2005: 182-203 - [c33]Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter:
Integrating Description Logics and Action Formalisms: First Results. Description Logics 2005 - [c32]Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev:
'Closer' representation and reasoning. Description Logics 2005 - [c31]Mikhail Sheremet
Comparative Similarity, Tree Automata, and Diophantine Equations. LPAR 2005: 651-665 - [c30]Carsten Lutz
Quantitative Temporal Logics: PSPACE and Below. TIME 2005: 138-146 - [e3]Ian Horrocks, Ulrike Sattler, Frank Wolter:
Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005. CEUR Workshop Proceedings 147, CEUR-WS.org 2005 [contents] - 2004
- [j34]Oliver Kutz
E-connections of abstract description systems. Artif. Intell. 156(1): 1-73 (2004) - [j33]Sebastian Bauer, Ian M. Hodkinson
On Non-local Propositional and Weak Monodic Quantified CTL. J. Log. Comput. 14(1): 3-22 (2004) - [j32]Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Temporalising Tableaux. Stud Logica 76(1): 91-134 (2004) - 2003
- [j31]Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter:
From Tableaux to Automata for Description Logics. Fundam. Informaticae 57(2-4): 247-279 (2003) - [j30]Oliver Kutz
Logics of metric spaces. ACM Trans. Comput. Log. 4(2): 260-294 (2003) - [c29]Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
E-connections of Description Logics. Description Logics 2003 - [c28]Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Resasoning about Concepts and Similarity. Description Logics 2003 - [c27]David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
On the Computational Complexity of Spatio-Temporal Logics. FLAIRS 2003: 460-464 - [c26]Frank Wolter, Michael Zakharyaschev:
Reasoning about distances. IJCAI 2003: 1275-1282 - [c25]Franz Baader
From Tableaux to Automata for Description Logics. LPAR 2003: 1-32 - [c24]Carsten Lutz, Frank Wolter
A Tableau Algorithm for Reasoning about Concepts and Similarity. TABLEAUX 2003: 134-149 - [c23]Ian M. Hodkinson, Roman Kontchakov
On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. TIME 2003: 91-98 - [p1]Franz Baader, Ralf Küsters, Frank Wolter:
Extensions to Description Logics. Description Logic Handbook 2003: 219-261 - [e2]Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev:
Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September - 2 October 2002. King's College Publications 2003, ISBN 0-9543006-2-9 [contents] - 2002
- [j29]Frank Wolter
Axiomatizing the monodic fragment of first-order temporal logic. Ann. Pure Appl. Log. 118(1-2): 133-145 (2002) - [j28]Brandon Bennett, Anthony G. Cohn, Frank Wolter
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning. Appl. Intell. 17(3): 239-251 (2002) - [j27]Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
Fusions of Description Logics and Abstract Description Systems. J. Artif. Intell. Res. 16: 1-58 (2002) - [j26]Oliver Kutz
Axiomatizing Distance Logics. J. Appl. Non Class. Logics 12(3-4): 425-440 (2002) - [j25]Holger Sturm, Frank Wolter
A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case. J. Log. Comput. 12(5): 809-838 (2002) - [j24]Ágnes Kurucz, Michael Zakharyaschev, Frank Wolter:
Preface. Stud Logica 72(2): 145-146 (2002) - [j23]Carsten Lutz, Holger Sturm, Frank Wolter
A Tableau Decision Algorithm for Modalized ALC with Constant Domains. Stud Logica 72(2): 199-232 (2002) - [c22]Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev:
Editorial Preface. Advances in Modal Logic 2002 - [c21]Alessandro Artale, Enrico Franconi, Frank Wolter
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA 2002: 98-110 - [c20]Oliver Kutz, Frank Wolter, Michael Zakharyaschev:
Connecting Abstract Description Systems. KR 2002: 215-226 - [c19]Ian M. Hodkinson, Frank Wolter
Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. LICS 2002: 393-402 - [c18]Sebastian Bauer, Ian M. Hodkinson
On Non-Local Propositional and Local One-Variable Quantified CTL*. TIME 2002: 2-9 - [e1]Frank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev:
Advances in Modal Logic 3, papers from the third conference on "Advances in Modal logic," held in Leipzig, Germany, 4-7 October 2000. World Scientific 2002, ISBN 981-238-179-1 [contents] - 2001
- [j22]Holger Sturm, Frank Wolter
First-order Expressivity for S5-models: Modal vs. Two-sorted Languages. J. Philos. Log. 30(6): 571-591 (2001) - [j21]Frank Wolter
Decidable Fragments of First-Order Modal Logics. J. Symb. Log. 66(3): 1415-1438 (2001) - [c17]Carsten Lutz, Holger Sturm, Frank Wolter
Tableaux for Temporal Description Logic with Constant Domains. IJCAR 2001: 121-136 - [c16]Carsten Lutz, Ulrike Sattler, Frank Wolter
Modal Logic and the Two-Variable Fragment. CSL 2001: 247-261 - [c15]Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev:
The DLRUS Temporal Description Logic. Description Logics 2001 - [c14]Oliver Kutz, Frank Wolter, Michael Zakharyaschev:
A Note on Concepts and Distances. Description Logics 2001 - [c13]Carsten Lutz, Ulrike Sattler, Frank Wolter:
Description Logics and the Two-Variable Fragment. Description Logics 2001 - [c12]Ian M. Hodkinson
Monodic fragments of first-order temporal logics: 2000-2001 A.D. LPAR 2001: 1-23 - [c11]Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev:
Reasoning over Conceptual Schemas and Queries in Temporal Databases. SEBD 2001: 201-214 - 2000
- [j20]Ian M. Hodkinson
Decidable fragment of first-order temporal logics. Ann. Pure Appl. Log. 106(1-3): 85-134 (2000) - [j19]Frank Wolter
The product of converse PDL and polymodal K. J. Log. Comput. 10(2): 223-251 (2000) - [j18]Frank Wolter
First Order Common Knowledge Logics. Stud Logica 65(2): 249-271 (2000) - [c10]Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter:
Fusions of Description Logics. Description Logics 2000: 21-30 - [c9]Frank Wolter, Michael Zakharyaschev:
Spatial Reasoning in RCC-8 with Boolean Region Terms. ECAI 2000: 244-250 - [c8]Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter
Semi-qualitative Reasoning about Distances: A Preliminary Report. JELIA 2000: 37-56 - [c7]Holger Sturm, Frank Wolter
Monodic Epistemic Predicate Logic. JELIA 2000: 329-344 - [c6]Frank Wolter, Michael Zakharyaschev:
Spatio-temporal representation and reasoning based on RCC-8. KR 2000: 3-14
1990 – 1999
- 1999
- [j17]Frank Wolter
Modal Description Logics: Modalizing Roles. Fundam. Informaticae 39(4): 411-438 (1999) - [j16]Marcus Kracht, Frank Wolter
Normal Monomodal Logics Can Simulate All Others. J. Symb. Log. 64(1): 99-138 (1999) - [c5]Frank Wolter, Michael Zakharyaschev:
Multi-Dimensional Description Logics. IJCAI 1999: 104-109 - 1998
- [j15]Frank Wolter
All finitely axiomatizable subframe logics containing the provability logic CSM 0_{0} are decidable. Arch. Math. Log. 37(3): 167-182 (1998) - [j14]Yasuhito Suzuki, Frank Wolter
Speaking about Transitive Frames in Propositional Languages. J. Log. Lang. Inf. 7(3): 317-339 (1998) - [j13]Frank Wolter
On Logics with Coimplication. J. Philos. Log. 27(4): 353-387 (1998) - [c4]Frank Wolter, Michael Zakharyaschev:
Dynamic Description Logics. Advances in Modal Logic 1998: 431-446 - [c3]Frank Wolter, Michael Zakharyaschev:
Temporalizing Description Logics. FroCoS 1998: 379-402 - [c2]Frank Wolter, Michael Zakharyaschev:
On the Decidability of Description Logics with Modal Operators. KR 1998: 512-523 - 1997
- [j12]Frank Wolter
The Structure of Lattices of Subframe Logics. Ann. Pure Appl. Log. 86(1): 47-100 (1997) - [j11]Frank Wolter
A Note on the Interpolation Property in Tense Logic. J. Philos. Log. 26(5): 545-551 (1997) - [j10]Frank Wolter
Completeness and Decidability of Tense Logics Closely Related to Logics Above K4. J. Symb. Log. 62(1): 131-158 (1997) - [j9]Frank Wolter
Superintuitionistic Companions of Classical Modal Logics. Stud Logica 58(2): 229-259 (1997) - [j8]Marcus Kracht, Frank Wolter
Simulation and Transfer Results in Modal Logic - A Survey. Stud Logica 59(1): 149-177 (1997) - 1996
- [j7]Frank Wolter
Tense Logic Without Tense Operators. Math. Log. Q. 42: 145-171 (1996) - [j6]Frank Wolter
Properties of Tense Logics. Math. Log. Q. 42: 481-500 (1996) - [j5]Frank Wolter
A Counterexample in Tense Logic. Notre Dame J. Formal Log. 37(2): 167-173 (1996) - [c1]Frank Wolter:
Fusions of Modal Logics Revisited. Advances in Modal Logic 1996: 361-379 - 1995
- [j4]Frank Wolter:
The Finite Model Property in Tense Logic. J. Symb. Log. 60(3): 757-774 (1995) - 1994
- [j3]Frank Wolter
Solution to a Problem of Goranko and Passy. J. Log. Comput. 4(1): 21-22 (1994) - [j2]Frank Wolter
What is the upper part of the lattice of bimodal logics? Stud Logica 53(2): 235-242 (1994) - 1991
- [j1]Marcus Kracht, Frank Wolter:
Properties of Independently Axiomatizable Bimodal Logics. J. Symb. Log. 56(4): 1469-1485 (1991)
Coauthor Index
Ágnes Kurucz
aka: Agi Kurucz
aka: Agi Kurucz
[j68] [c153] [c150] [c149] [i31] [i30] [j65] [c147] [c144] [c143] [c142] [c141] [i28] [i25] [i24] [i22] [i21] [j64] [j62] [c139] [c138] [c135] [c134] [e12] [i20] [c131] [c130] [c128] [c127] [i18] [i17] [i16] [j61] [j60] [c125] [c124] [c123] [i15] [i13] [j58] [c120] [c119] [c117] [c116] [c115] [c113] [i12] [i11] [c112] [c111] [c110] [c108] [c106] [c105] [c104] [j56] [c99] [c96] [i10] [j55] [c94] [c92] [c91] [c90] [c89] [i8] [c86] [c85] [c84] [c83] [c82] [c81] [j52] [c76] [c75] [c74] [c73] [i6] [i5] [i4] [j48] [c71] [c70] [c69] [c68] [c67] [j47] [c66] [c64] [c61] [c60] [p4] [c57] [c55] [c52] [c51] [c50] [j45] [c49] [c47] [c46] [j42] [j41] [c45] [c42] [c41] [c39] [c38] [c37] [i2] [c36] [c33] [c30] [j34] [j32] [j31] [c29] [c28] [c25] [c24] [j27] [j23] [c17] [c16] [c13] [c10]
[c170] [c168] [c167] [c166] [c164] [i44] [i43] [i42] [c163] [c162] [c161] [i40] [i39] [i38] [i36] [j67] [c160] [c158] [c157] [i34] [j66] [i29] [c140] [i27] [j64] [j63] [c137] [c136] [c133] [i20] [i19] [c132] [i17] [c122] [i14] [j59] [c119] [c116] [c115] [c113] [i12] [c110] [c107] [c103] [c102] [c101] [c97] [c95] [c93] [i7] [c80] [c78] [c77] [c73] [i3] [j51] [j50] [j49] [c72] [c67] [c64] [c62] [j46] [c59] [c56] [c54] [c53] [c50] [j44] [c48] [c46] [p3] [p2] [j43] [j40] [j39] [c45] [c44] [c43] [c40] [i1] [j38] [j37] [j36] [c35] [c34] [c32] [c31] [j34] [j33] [j32] [j30] [c29] [c28] [c27] [c26] [c24] [c23] [e2] [j29] [j28] [j26] [j24] [j23] [c22] [c21] [c20] [c19] [c18] [e1] [j21] [c17] [c15] [c14] [c12] [c11] [j20] [c9] [c8] [c7] [c6] [j17] [c5] [j14] [c4] [c3] [c2]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-19 22:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: