Artale, Alessandro; Jung, Jean Christoph; Mazzullo, Andrea; Ozaki, Ana; Wolter, Frank Living without Beth and Craig: definitions and interpolants in description and modal logics with nominals and role inclusions. (English) Zbl 07760995 ACM Trans. Comput. Log. 24, No. 4, Paper No. 34, 51 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{A. Artale} et al., ACM Trans. Comput. Log. 24, No. 4, Paper No. 34, 51 p. (2023; Zbl 07760995) Full Text: DOI arXiv OA License
Artale, Alessandro; Kontchakov, Roman; Kovtunova, Alisa; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael First-order rewritability and complexity of two-dimensional temporal ontology-mediated queries. (English) Zbl 07639820 J. Artif. Intell. Res. (JAIR) 75, 1223-1291 (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{A. Artale} et al., J. Artif. Intell. Res. (JAIR) 75, 1223--1291 (2022; Zbl 07639820) Full Text: DOI arXiv
Jung, Jean Christoph; Lutz, Carsten; Pulcini, Hadrien; Wolter, Frank Logical separability of labeled data examples under ontologies. (English) Zbl 07613163 Artif. Intell. 313, Article ID 103785, 53 p. (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{J. C. Jung} et al., Artif. Intell. 313, Article ID 103785, 53 p. (2022; Zbl 07613163) Full Text: DOI arXiv
Artale, Alessandro; Kontchakov, Roman; Kovtunova, Alisa; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael First-order rewritability of ontology-mediated queries in linear temporal logic. (English) Zbl 1520.68182 Artif. Intell. 299, Article ID 103536, 30 p. (2021). MSC: 68T27 03B44 68T30 PDFBibTeX XMLCite \textit{A. Artale} et al., Artif. Intell. 299, Article ID 103536, 30 p. (2021; Zbl 1520.68182) Full Text: DOI arXiv
Hernich, André; Lutz, Carsten; Papacchini, Fabio; Wolter, Frank Dichotomies in ontology-mediated querying with the guarded fragment. (English) Zbl 1446.68056 ACM Trans. Comput. Log. 21, No. 3, Article No. 20, 47 p. (2020). MSC: 68P15 68Q17 68T30 PDFBibTeX XMLCite \textit{A. Hernich} et al., ACM Trans. Comput. Log. 21, No. 3, Article No. 20, 47 p. (2020; Zbl 1446.68056) Full Text: DOI arXiv
Lutz, Carsten; Sattler, Uli; Tinelli, Cesare; Turhan, Anni-Yasmin; Wolter, Frank A tour of Franz Baader’s contributions to knowledge representation and automated deduction. (English) Zbl 1443.68010 Lutz, Carsten (ed.) et al., Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11560, 1-14 (2019). MSC: 68-03 01A70 68T30 68V15 PDFBibTeX XMLCite \textit{C. Lutz} et al., Lect. Notes Comput. Sci. 11560, 1--14 (2019; Zbl 1443.68010) Full Text: DOI
Lutz, Carsten (ed.); Sattler, Uli (ed.); Tinelli, Cesare (ed.); Turhan, Anni-Yasmin (ed.); Wolter, Frank (ed.) Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. (English) Zbl 1428.68036 Lecture Notes in Computer Science 11560. Cham: Springer (ISBN 978-3-030-22101-0/pbk; 978-3-030-22102-7/ebook). xiii, 662 p. (2019). MSC: 68-06 68T27 00B30 PDFBibTeX XMLCite \textit{C. Lutz} (ed.) et al., Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer (2019; Zbl 1428.68036) Full Text: DOI arXiv
Lutz, Carsten; Seylan, Inanc; Wolter, Frank The data complexity of ontology-mediated queries with closed predicates. (English) Zbl 1509.68258 Log. Methods Comput. Sci. 15, No. 3, Paper No. 23, 54 p. (2019). MSC: 68T30 68P15 68Q25 68T27 PDFBibTeX XMLCite \textit{C. Lutz} et al., Log. Methods Comput. Sci. 15, No. 3, Paper No. 23, 54 p. (2019; Zbl 1509.68258) Full Text: arXiv
Botoeva, Elena; Lutz, Carsten; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael Query inseparability for \(\mathcal{ALC}\) ontologies. (English) Zbl 1478.68347 Artif. Intell. 272, 1-51 (2019). MSC: 68T27 68Q25 68Q45 68T30 PDFBibTeX XMLCite \textit{E. Botoeva} et al., Artif. Intell. 272, 1--51 (2019; Zbl 1478.68347) Full Text: DOI arXiv
Konev, Boris; Lutz, Carsten; Ozaki, Ana; Wolter, Frank Exact learning of lightweight description logic ontologies. (English) Zbl 1469.68106 J. Mach. Learn. Res. 18(2017-2018), Paper No. 201, 63 p. (2018). MSC: 68T30 68Q32 68T27 PDFBibTeX XMLCite \textit{B. Konev} et al., J. Mach. Learn. Res. 18, Paper No. 201, 63 p. (2018; Zbl 1469.68106) Full Text: arXiv Link
Artale, Alessandro; Kontchakov, Roman; Kovtunova, Alisa; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael Ontology-mediated query answering over temporal data: a survey (invited talk). (English) Zbl 1515.68296 Schewe, Sven (ed.) et al., 24th international symposium on temporal representation and reasoning, TIME 2017, Mons, Belgium, October 16–18, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 90, Article 1, 37 p. (2017). MSC: 68T27 03B44 68P15 68T30 PDFBibTeX XMLCite \textit{A. Artale} et al., LIPIcs -- Leibniz Int. Proc. Inform. 90, Article 1, 37 p. (2017; Zbl 1515.68296) Full Text: DOI
Lutz, Carsten; Wolter, Frank The data complexity of description logic ontologies. (English) Zbl 1398.68517 Log. Methods Comput. Sci. 13, No. 4, Paper No. 7, 46 p. (2017). MSC: 68T30 68Q25 68T27 PDFBibTeX XMLCite \textit{C. Lutz} and \textit{F. Wolter}, Log. Methods Comput. Sci. 13, No. 4, Paper No. 7, 46 p. (2017; Zbl 1398.68517) Full Text: DOI arXiv
Botoeva, Elena; Konev, Boris; Lutz, Carsten; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael Inseparability and conservative extensions of description logic ontologies: a survey. (English) Zbl 1358.68282 Pan, Jeff Z. (ed.) et al., Reasoning web. Logical foundation of knowledge graph construction and query answering. 12th international summer school 2016, Aberdeen, UK, September 5–9, 2016. Tutorial lectures. Cham: Springer (ISBN 978-3-319-49492-0/pbk; 978-3-319-49493-7/ebook). Lecture Notes in Computer Science 9885, 27-89 (2017). MSC: 68T30 68T27 68-02 PDFBibTeX XMLCite \textit{E. Botoeva} et al., Lect. Notes Comput. Sci. 9885, 27--89 (2017; Zbl 1358.68282) Full Text: DOI arXiv
Baader, Franz; Bienvenu, Meghyn; Lutz, Carsten; Wolter, Frank Query and predicate emptiness in ontology-based data access. (English) Zbl 1357.68226 J. Artif. Intell. Res. (JAIR) 56, 1-59 (2016). MSC: 68T30 68P15 68Q25 68T27 PDFBibTeX XMLCite \textit{F. Baader} et al., J. Artif. Intell. Res. (JAIR) 56, 1--59 (2016; Zbl 1357.68226) Full Text: DOI
Wolter, Frank Automata for ontologies. (English) Zbl 1435.68319 Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 10th international conference, LATA 2016, Prague, Czech Republic, March 14–18, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9618, 57-60 (2016). MSC: 68T27 68Q45 68T30 PDFBibTeX XMLCite \textit{F. Wolter}, Lect. Notes Comput. Sci. 9618, 57--60 (2016; Zbl 1435.68319) Full Text: DOI
Botoeva, Elena; Kontchakov, Roman; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael Games for query inseparability of description logic knowledge bases. (English) Zbl 1351.68263 Artif. Intell. 234, 78-119 (2016). MSC: 68T27 68Q17 68Q25 68T30 91A43 91A80 PDFBibTeX XMLCite \textit{E. Botoeva} et al., Artif. Intell. 234, 78--119 (2016; Zbl 1351.68263) Full Text: DOI Link
Lutz, Carsten; Wolter, Frank On the relationship between consistent query answering and constraint satisfaction problems. (English) Zbl 1365.68214 Arenas, Marcelo (ed.) et al., 18th international conference on database theory, ICDT’15, Brussels, Belgium, March 23–27, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-79-8). LIPIcs – Leibniz International Proceedings in Informatics 31, 363-379 (2015). MSC: 68P15 68Q25 PDFBibTeX XMLCite \textit{C. Lutz} and \textit{F. Wolter}, LIPIcs -- Leibniz Int. Proc. Inform. 31, 363--379 (2015; Zbl 1365.68214) Full Text: DOI
Gąsieniec, Leszek (ed.); Martin, Russell (ed.); Wolter, Frank (ed.); Wong, Prudence W. H. (ed.) Fundamentals of computation theory. (English) Zbl 1315.00099 Theor. Comput. Sci. 590, 1 (2015). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{L. Gąsieniec} (ed.) et al., Theor. Comput. Sci. 590, 1 (2015; Zbl 1315.00099) Full Text: DOI
Bonatti, Piero; Faella, Marco; Lutz, Carsten; Sauro, Luigi; Wolter, Frank Decidability of circumscribed description logics revisited. (English) Zbl 1432.68428 Eiter, Thomas (ed.) et al., Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9060, 112-124 (2015). MSC: 68T27 03B25 68T30 PDFBibTeX XMLCite \textit{P. Bonatti} et al., Lect. Notes Comput. Sci. 9060, 112--124 (2015; Zbl 1432.68428) Full Text: DOI
Bienvenu, Meghyn; Ten Cate, Balder; Lutz, Carsten; Wolter, Frank Ontology-based data access: a study through disjunctive Datalog, CSP, and MMSNP. (English) Zbl 1474.68082 ACM Trans. Database Syst. 39, No. 4, Article No. 33, 44 p. (2014). MSC: 68P15 68T30 PDFBibTeX XMLCite \textit{M. Bienvenu} et al., ACM Trans. Database Syst. 39, No. 4, Article No. 33, 44 p. (2014; Zbl 1474.68082) Full Text: DOI arXiv
Gatens, William; Konev, Boris; Wolter, Frank Lower and upper approximations for depleting modules of description logic ontologies. (English) Zbl 1366.68304 Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 345-350 (2014). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{W. Gatens} et al., Front. Artif. Intell. Appl. 263, 345--350 (2014; Zbl 1366.68304) Full Text: Link
Konev, Boris; Lutz, Carsten; Walther, Dirk; Wolter, Frank Model-theoretic inseparability and modularity of description logic ontologies. (English) Zbl 1329.68248 Artif. Intell. 203, 66-103 (2013). MSC: 68T30 03C98 68Q25 68T27 92C50 PDFBibTeX XMLCite \textit{B. Konev} et al., Artif. Intell. 203, 66--103 (2013; Zbl 1329.68248) Full Text: DOI
Gąsieniec, Leszek (ed.); Wolter, Frank (ed.) Fundamentals of computation theory. 19th international symposium, FCT 2013, Liverpool, UK, August 19–21, 2013. Proceedings. (English) Zbl 1269.68021 Lecture Notes in Computer Science 8070. Berlin: Springer (ISBN 978-3-642-40163-3/pbk). xi, 318 p. (2013). MSC: 68-06 68Qxx 00B25 PDFBibTeX XMLCite \textit{L. Gąsieniec} (ed.) and \textit{F. Wolter} (ed.), Fundamentals of computation theory. 19th international symposium, FCT 2013, Liverpool, UK, August 19--21, 2013. Proceedings. Berlin: Springer (2013; Zbl 1269.68021) Full Text: DOI
Konev, Boris; Ludwig, Michel; Wolter, Frank Logical difference computation with CEX2.5. (English) Zbl 1358.68258 Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 371-377 (2012). MSC: 68T15 68T27 68T30 PDFBibTeX XMLCite \textit{B. Konev} et al., Lect. Notes Comput. Sci. 7364, 371--377 (2012; Zbl 1358.68258) Full Text: DOI
Konev, B.; Ludwig, M.; Walther, D.; Wolter, F. The logical difference for the lightweight description logic \(\mathcal {EL}\). (English) Zbl 1253.68303 J. Artif. Intell. Res. (JAIR) 44, 633-708 (2012). MSC: 68T27 PDFBibTeX XMLCite \textit{B. Konev} et al., J. Artif. Intell. Res. (JAIR) 44, 633--708 (2012; Zbl 1253.68303) Full Text: DOI arXiv
Wolter, Frank; Wooldridge, Michael Temporal and dynamic logic. (English) Zbl 1273.03066 Gupta, Amitabha (ed.) et al., Logic and philosophy today. Volume 1. London: College Publications (ISBN 978-1-84890-040-0/pbk). Studies in Logic (London) 29, 247-280 (2011). MSC: 03B44 03B70 68Q60 PDFBibTeX XMLCite \textit{F. Wolter} and \textit{M. Wooldridge}, Stud. Log. (Lond.) 29, 247--280 (2011; Zbl 1273.03066)
Liu, Hongkai; Lutz, Carsten; Miličić, Maja; Wolter, Frank Foundations of instance level updates in expressive description logics. (English) Zbl 1252.68277 Artif. Intell. 175, No. 18, 2170-2197 (2011). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{H. Liu} et al., Artif. Intell. 175, No. 18, 2170--2197 (2011; Zbl 1252.68277) Full Text: DOI
Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael Islands of tractability for relational constraints: towards dichotomy results for the description logic \({\mathcal{EL}}\). (English) Zbl 1252.68275 Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 271-291 (2010). MSC: 68T27 PDFBibTeX XMLCite \textit{A. Kurucz} et al., in: Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24--27, 2010. London: College Publications. 271--291 (2010; Zbl 1252.68275)
Sheremet, Mikhail; Wolter, Frank; Zakharyaschev, Michael A modal logic framework for reasoning about comparative distances and topology. (English) Zbl 1225.03021 Ann. Pure Appl. Logic 161, No. 4, 534-559 (2010). MSC: 03B45 03B70 68T27 68T30 PDFBibTeX XMLCite \textit{M. Sheremet} et al., Ann. Pure Appl. Logic 161, No. 4, 534--559 (2010; Zbl 1225.03021) Full Text: DOI
Lutz, Carsten; Piro, Robert; Wolter, Frank Enriching \(\mathcal {EL}\)-concepts with greatest fixpoints. (English) Zbl 1211.68408 Coelho, Helder (ed.) et al., ECAI 2010. 19th European conference on artificial intelligence, August 16–20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Amsterdam: IOS Press (ISBN 978-1-60750-605-8/pbk; 978-1-60750-606-5/ebook). Frontiers in Artificial Intelligence and Applications 215, 41-46 (2010). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{C. Lutz} et al., Front. Artif. Intell. Appl. 215, 41--46 (2010; Zbl 1211.68408) Full Text: DOI
Kontchakov, Roman; Wolter, Frank; Zakharyaschev, Michael Logic-based ontology comparison and module extraction, with an application to DL-Lite. (English) Zbl 1238.68154 Artif. Intell. 174, No. 15, 1093-1141 (2010). Reviewer: Emilio Muñoz-Velasco MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{R. Kontchakov} et al., Artif. Intell. 174, No. 15, 1093--1141 (2010; Zbl 1238.68154) Full Text: DOI
Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael Spatial logics with connectedness predicates. (English) Zbl 1201.68115 Log. Methods Comput. Sci. 6, No. 3, Paper No. 7, 43 p. (2010). MSC: 68T27 68Q25 PDFBibTeX XMLCite \textit{R. Kontchakov} et al., Log. Methods Comput. Sci. 6, No. 3, Paper No. 7, 43 p. (2010; Zbl 1201.68115) Full Text: DOI
Lutz, Carsten; Wolter, Frank Deciding inseparability and conservative extensions in the description logic. (English) Zbl 1187.68572 J. Symb. Comput. 45, No. 2, 194-228 (2010). Reviewer: Éric Martin (Sydney) MSC: 68T27 03B70 68T30 PDFBibTeX XMLCite \textit{C. Lutz} and \textit{F. Wolter}, J. Symb. Comput. 45, No. 2, 194--228 (2010; Zbl 1187.68572) Full Text: DOI
Bonatti, P. A.; Lutz, C.; Wolter, F. The complexity of circumscription in DLs. (English) Zbl 1182.68275 J. Artif. Intell. Res. (JAIR) 35, 717-773 (2009). MSC: 68T27 PDFBibTeX XMLCite \textit{P. A. Bonatti} et al., J. Artif. Intell. Res. (JAIR) 35, 717--773 (2009; Zbl 1182.68275) Full Text: DOI arXiv
Lutz, Carsten; Wolter, Frank Mathematical logic for life science ontologies. (English) Zbl 1246.68211 Ono, Hiroakira (ed.) et al., Logic, language, information and computation. 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02260-9/pbk). Lecture Notes in Computer Science 5514. Lecture Notes in Artificial Intelligence, 37-47 (2009). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{C. Lutz} and \textit{F. Wolter}, Lect. Notes Comput. Sci. 5514, 37--47 (2009; Zbl 1246.68211) Full Text: DOI
Konev, Boris; Lutz, Carsten; Walther, Dirk; Wolter, Frank Formal properties of modularisation. (English) Zbl 1242.68315 Stuckenschmidt, Heiner (ed.) et al., Modular ontologies. Concepts, theories and techniques for knowledge modularization. Berlin: Springer (ISBN 978-3-642-01906-7/pbk). Lecture Notes in Computer Science 5445, 25-66 (2009). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{B. Konev} et al., Lect. Notes Comput. Sci. 5445, 25--66 (2009; Zbl 1242.68315) Full Text: DOI
Wolter, Frank; Zakharyaschev, Michael Undecidability of the unification and admissibility problems for modal and description logics. (English) Zbl 1367.03026 ACM Trans. Comput. Log. 9, No. 4, Article No. 25, 20 p. (2008). MSC: 03B35 03B25 03B45 68T27 PDFBibTeX XMLCite \textit{F. Wolter} and \textit{M. Zakharyaschev}, ACM Trans. Comput. Log. 9, No. 4, Article No. 25, 20 p. (2008; Zbl 1367.03026) Full Text: DOI arXiv
Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael On the computational complexity of spatial logics with connectedness constraints. (English) Zbl 1182.68280 Cervesato, Iliano (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 15th international conference, LPAR 2008, Doha, Qatar, November 22–27, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89438-4/pbk). Lecture Notes in Computer Science 5330. Lecture Notes in Artificial Intelligence, 574-589 (2008). MSC: 68T27 68Q25 PDFBibTeX XMLCite \textit{R. Kontchakov} et al., Lect. Notes Comput. Sci. 5330, 574--589 (2008; Zbl 1182.68280) Full Text: DOI
Konev, Boris; Walther, Dirk; Wolter, Frank The logical difference problem for description logic terminologies. (English) Zbl 1165.68502 Armando, Alessandro (ed.) et al., Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12–15, 2008 Proceedings. Berlin: Springer (ISBN 978-3-540-71069-1/pbk). Lecture Notes in Computer Science 5195. Lecture Notes in Artificial Intelligence, 259-274 (2008). MSC: 68T27 PDFBibTeX XMLCite \textit{B. Konev} et al., Lect. Notes Comput. Sci. 5195, 259--274 (2008; Zbl 1165.68502) Full Text: DOI
Konev, Boris (ed.); Wolter, Frank (ed.) Frontiers of combining systems. 6th international symposium, FroCoS 2007, Liverpool, UK, September 10–12, 2007. Proceedings. (English) Zbl 1143.68008 Lecture Notes in Computer Science 4720. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-540-74620-1/pbk). x, 283 p. (2007). MSC: 68-06 68Txx 00B25 PDFBibTeX XMLCite \textit{B. Konev} (ed.) and \textit{F. Wolter} (ed.), Frontiers of combining systems. 6th international symposium, FroCoS 2007, Liverpool, UK, September 10--12, 2007. Proceedings. Berlin: Springer (2007; Zbl 1143.68008) Full Text: DOI
Sheremet, Mikhail; Tishkovsky, D.; Wolter, F.; Zakharyaschev, M. A logic for concepts and similarity. (English) Zbl 1144.03010 J. Log. Comput. 17, No. 3, 415-452 (2007). Reviewer: Stefan Wölfl (Freiburg) MSC: 03B42 03B70 68T27 PDFBibTeX XMLCite \textit{M. Sheremet} et al., J. Log. Comput. 17, No. 3, 415--452 (2007; Zbl 1144.03010) Full Text: DOI
Lutz, Carsten; Walther, Dirk; Wolter, Frank Quantitative temporal logics over the reals: PSpace and below. (English) Zbl 1109.03012 Inf. Comput. 205, No. 1, 99-123 (2007). MSC: 03B44 68Q15 68Q17 PDFBibTeX XMLCite \textit{C. Lutz} et al., Inf. Comput. 205, No. 1, 99--123 (2007; Zbl 1109.03012) Full Text: DOI
Hustadt, Ullrich; Tishkovsky, Dmitry; Wolter, Frank; Zakharyaschev, Michael Automated reasoning about metric and topology. (English) Zbl 1152.68523 Fisher, Michael (ed.) et al., Logics in artificial intelligence. 10th European conference, JELIA 2006, Liverpool, UK, September 13–15, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-39625-3/pbk). Lecture Notes in Computer Science 4160. Lecture Notes in Artificial Intelligence, 490-493 (2006). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{U. Hustadt} et al., Lect. Notes Comput. Sci. 4160, 490--493 (2006; Zbl 1152.68523) Full Text: DOI
Liu, Hongkai; Lutz, Carsten; Miličić, Maja; Wolter, Frank Reasoning about actions using description logics with general TBoxes. (English) Zbl 1152.68609 Fisher, Michael (ed.) et al., Logics in artificial intelligence. 10th European conference, JELIA 2006, Liverpool, UK, September 13–15, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-39625-3/pbk). Lecture Notes in Computer Science 4160. Lecture Notes in Artificial Intelligence, 266-279 (2006). MSC: 68T27 PDFBibTeX XMLCite \textit{H. Liu} et al., Lect. Notes Comput. Sci. 4160, 266--279 (2006; Zbl 1152.68609) Full Text: DOI
Sheremet, Mikhail; Tishkovsky, D.; Wolter, F.; Zakharyaschev, M. From topology to metric: modal logic and quantification in metric spaces. (English) Zbl 1148.03022 Governatori, Guido (ed.) et al., Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25–28, 2006. London: College Publications (ISBN 1-904987-20-6/pbk). 429-448 (2006). MSC: 03B45 54E35 68T27 PDFBibTeX XMLCite \textit{M. Sheremet} et al., in: Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25--28, 2006. London: College Publications. 429--448 (2006; Zbl 1148.03022)
Ghilardi, S.; Lutz, C.; Wolter, F.; Zakharyaschev, M. Conservative extensions in modal logic. (English) Zbl 1148.03014 Governatori, Guido (ed.) et al., Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25–28, 2006. London: College Publications (ISBN 1-904987-20-6/pbk). 187-207 (2006). MSC: 03B45 03D15 68Q25 PDFBibTeX XMLCite \textit{S. Ghilardi} et al., in: Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25--28, 2006. London: College Publications. 187--207 (2006; Zbl 1148.03014)
Lutz, Carsten; Wolter, Frank Modal logics of topological relations. (English) Zbl 1126.03026 Log. Methods Comput. Sci. 2, No. 2, Paper 5, 41 p. (2006). MSC: 03B45 68T27 PDFBibTeX XMLCite \textit{C. Lutz} and \textit{F. Wolter}, Log. Methods Comput. Sci. 2, No. 2, Paper 5, 41 p. (2006; Zbl 1126.03026) Full Text: DOI
Walther, Dirk; Lutz, Carsten; Wolter, Frank; Wooldridge, Michael ATL satisfiability is indeed ExpTime-complete. (English) Zbl 1118.03010 J. Log. Comput. 16, No. 6, 765-787 (2006). MSC: 03B44 68Q17 68Q85 68Q60 PDFBibTeX XMLCite \textit{D. Walther} et al., J. Log. Comput. 16, No. 6, 765--787 (2006; Zbl 1118.03010) Full Text: DOI Link
Sheremet, Mikhail; Tishkovsky, Dmitry; Wolter, Frank; Zakharyaschev, Michael Comparative similarity, tree automata, and Diophantine equations. (English) Zbl 1143.68600 Sutcliffe, Geoff (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30553-8/pbk). Lecture Notes in Computer Science 3835, 651-665 (2005). MSC: 68T27 03B25 03B60 03D05 68T30 PDFBibTeX XMLCite \textit{M. Sheremet} et al., Lect. Notes Comput. Sci. 3835, 651--665 (2005; Zbl 1143.68600) Full Text: DOI
Konev, Boris; Wolter, Frank; Zakharyaschev, Michael Temporal logics over transitive states. (English) Zbl 1135.03333 Nieuwenhuis, Robert (ed.), Automated deduction – CADE-20. 20th international conference on automated deduction, Tallinn, Estonia, July 22–27, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28005-7/pbk). Lecture Notes in Computer Science 3632. Lecture Notes in Artificial Intelligence, 182-203 (2005). MSC: 03B44 68Q60 PDFBibTeX XMLCite \textit{B. Konev} et al., Lect. Notes Comput. Sci. 3632, 182--203 (2005; Zbl 1135.03333) Full Text: DOI
Litak, Tadeusz; Wolter, Frank All finitely axiomatizable tense logics of linear time flows are coNP-complete. (English) Zbl 1096.03014 Stud. Log. 81, No. 2, 153-165 (2005). MSC: 03B44 03D15 68Q17 03B45 PDFBibTeX XMLCite \textit{T. Litak} and \textit{F. Wolter}, Stud. Log. 81, No. 2, 153--165 (2005; Zbl 1096.03014) Full Text: DOI
Wolter, Frank; Zakharyaschev, Michael A logic for metric and topology. (English) Zbl 1089.03021 J. Symb. Log. 70, No. 3, 795-828 (2005). MSC: 03B60 03B44 54E35 03B70 68Q17 PDFBibTeX XMLCite \textit{F. Wolter} and \textit{M. Zakharyaschev}, J. Symb. Log. 70, No. 3, 795--828 (2005; Zbl 1089.03021) Full Text: DOI Link
Gabelaia, D.; Kontchakov, R.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. Combining spatial and temporal logics: expressiveness vs. complexity. (English) Zbl 1080.68682 J. Artif. Intell. Res. (JAIR) 23, 167-243 (2005). MSC: 68T27 PDFBibTeX XMLCite \textit{D. Gabelaia} et al., J. Artif. Intell. Res. (JAIR) 23, 167--243 (2005; Zbl 1080.68682) Full Text: arXiv
Kutz, Oliver; Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael \({\mathcal E}\)-connections of abstract description systems. (English) Zbl 1085.68162 Artif. Intell. 156, No. 1, 1-73 (2004). MSC: 68T27 68T30 03B44 PDFBibTeX XMLCite \textit{O. Kutz} et al., Artif. Intell. 156, No. 1, 1--73 (2004; Zbl 1085.68162) Full Text: DOI
Bauer, Sebastian; Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael On non-local propositional and weak monodic quantified \(\mathcal{CTL}^{\ast}\). (English) Zbl 1046.03007 J. Log. Comput. 14, No. 1, 3-22 (2004). Reviewer: Manuel Ojeda Aciego (Malaga) MSC: 03B44 03B25 68Q60 PDFBibTeX XMLCite \textit{S. Bauer} et al., J. Log. Comput. 14, No. 1, 3--22 (2004; Zbl 1046.03007) Full Text: DOI
Kutz, Oliver; Wolter, Frank; Sturm, Holger; Suzuki, Nobu-Yuki; Zakharyaschev, Michael Logics of metric spaces. (English) Zbl 1365.68407 ACM Trans. Comput. Log. 4, No. 2, 260-294 (2003). MSC: 68T27 03B20 03B25 03B45 54E35 68T30 PDFBibTeX XMLCite \textit{O. Kutz} et al., ACM Trans. Comput. Log. 4, No. 2, 260--294 (2003; Zbl 1365.68407) Full Text: DOI
Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael A tableau algorithm for reasoning about concepts and similarity. (English) Zbl 1274.68411 Cialdea Mayer, Marta (ed.) et al., Automated reasoning with analytic tableaux and related methods. International conference TABLEAUX 2003, Rome, Italy, September 9–12, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40787-1/pbk). Lect. Notes Comput. Sci. 2796, 134-149 (2003). MSC: 68T15 03B35 68T27 68T30 PDFBibTeX XMLCite \textit{C. Lutz} et al., Lect. Notes Comput. Sci. 2796, 134--149 (2003; Zbl 1274.68411) Full Text: DOI
Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank From tableaux to automata for description logics. (English) Zbl 1273.03095 Vardi, Moshe Y. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20101-7/pbk). Lect. Notes Comput. Sci. 2850, 1-32 (2003). MSC: 03B70 03B35 03D05 68T15 68T27 68T30 PDFBibTeX XMLCite \textit{F. Baader} et al., Lect. Notes Comput. Sci. 2850, 1--32 (2003; Zbl 1273.03095)
Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank From tableaux to automata for description logics. (English) Zbl 1038.03033 Fundam. Inform. 57, No. 2-4, 247-279 (2003). MSC: 03B70 68T27 03B35 68Q25 68Q45 68T30 PDFBibTeX XMLCite \textit{F. Baader} et al., Fundam. Inform. 57, No. 2--4, 247--279 (2003; Zbl 1038.03033)
Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. Many-dimensional modal logics: theory and applications. (English) Zbl 1051.03001 Studies in Logic and the Foundations of Mathematics 148. Amsterdam: Elsevier (ISBN 0-444-50826-0/hbk). xviii, 747 p. (2003). Reviewer: Max A. Freund (México D.F.) MSC: 03-02 03B45 03B70 03B42 03B44 03B20 03B25 68T30 PDFBibTeX XMLCite \textit{D. M. Gabbay} et al., Many-dimensional modal logics: theory and applications. Amsterdam: Elsevier (2003; Zbl 1051.03001)
Artale, Alessandro; Franconi, Enrico; Wolter, Frank; Zakharyaschev, Michael A temporal description logic for reasoning over conceptual schemas and queries. (English) Zbl 1013.03027 Flesca, Sergio (ed.) et al., Logics in artificial intelligence. 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2424, 98-110 (2002). MSC: 03B70 68T27 03B44 PDFBibTeX XMLCite \textit{A. Artale} et al., Lect. Notes Comput. Sci. 2424, 98--110 (2002; Zbl 1013.03027) Full Text: Link
Bennett, Brandon; Cohn, Anthony G.; Wolter, Frank; Zakharyaschev, Michael Multi-dimensional modal logic as a framework for spatio-temporal reasoning. (English) Zbl 1051.03019 Appl. Intell. 17, No. 3, 239-251 (2002). MSC: 03B45 68T30 68T27 03B25 PDFBibTeX XMLCite \textit{B. Bennett} et al., Appl. Intell. 17, No. 3, 239--251 (2002; Zbl 1051.03019) Full Text: DOI
Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant domains. (English) Zbl 1010.03012 Stud. Log. 72, No. 2, 199-232 (2002). MSC: 03B45 03B25 03B35 68T27 PDFBibTeX XMLCite \textit{C. Lutz} et al., Stud. Log. 72, No. 2, 199--232 (2002; Zbl 1010.03012) Full Text: DOI
Wolter, Frank; Zakharyaschev, Michael Axiomatizing the monodic fragment of first-order temporal logic. (English) Zbl 1031.03023 Ann. Pure Appl. Logic 118, No. 1-2, 133-145 (2002). Reviewer: Petr Jančar (Ostrava) MSC: 03B44 03B25 68Q60 PDFBibTeX XMLCite \textit{F. Wolter} and \textit{M. Zakharyaschev}, Ann. Pure Appl. Logic 118, No. 1--2, 133--145 (2002; Zbl 1031.03023) Full Text: DOI
Sturm, Holger; Wolter, Frank A tableau calculus for temporal description logic: The expanding domain case. (English) Zbl 1017.03007 J. Log. Comput. 12, No. 5, 809-838 (2002). Reviewer: Bernhard Heinemann (Hagen) MSC: 03B44 68T27 68T30 03B70 PDFBibTeX XMLCite \textit{H. Sturm} and \textit{F. Wolter}, J. Log. Comput. 12, No. 5, 809--838 (2002; Zbl 1017.03007) Full Text: DOI Link
Baader, F.; Lutz, C.; Sturm, H.; Wolter, F. Fusions of description logics and abstract description systems. (English) Zbl 0995.03025 J. Artif. Intell. Res. (JAIR) 16, 1-58 (2002). MSC: 03B70 03B45 68T27 PDFBibTeX XMLCite \textit{F. Baader} et al., J. Artif. Intell. Res. (JAIR) 16, 1--58 (2002; Zbl 0995.03025)
Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael Monodic fragments of first-order temporal logics: 2000–2001 A.D. (English) Zbl 1275.03088 Nieuwenhuis, Robert (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3–7, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42957-3/pbk). Lecture Notes in Computer Science 2250. Lecture Notes in Artificial Intelligence, 1-23 (2001). MSC: 03B44 68Q60 68T27 68T30 PDFBibTeX XMLCite \textit{I. Hodkinson} et al., Lect. Notes Comput. Sci. 2250, 1--23 (2001; Zbl 1275.03088) Full Text: DOI
Lutz, Carsten; Sattler, Ulrike; Wolter, Frank Modal logic and the two-variable fragment. (English) Zbl 0999.03020 Fribourg, Laurent (ed.), Computer science logic. 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2142, 247-261 (2001). MSC: 03B45 68Q17 PDFBibTeX XMLCite \textit{C. Lutz} et al., Lect. Notes Comput. Sci. 2142, 247--261 (2001; Zbl 0999.03020) Full Text: Link
Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael Tableaux for temporal description logic with constant domains. (English) Zbl 0988.68178 Goré, Rajeev (ed.) et al., Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2083, 121-136 (2001). MSC: 68T27 03B35 03B44 68T30 PDFBibTeX XMLCite \textit{C. Lutz} et al., Lect. Notes Comput. Sci. 2083, 121--136 (2001; Zbl 0988.68178) Full Text: Link
Wolter, Frank; Zakharyaschev, Michael Dynamic description logics. (English) Zbl 0993.03043 Zakharyaschev, Michael (ed.) et al., Advances in modal logic. Vol. 2. Selected papers from the 2nd international workshop (AiML’98), Uppsala, Sweden, October 16-18, 1998. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 119, 431-445 (2001). MSC: 03B70 68T27 03B45 68T30 03B42 PDFBibTeX XMLCite \textit{F. Wolter} and \textit{M. Zakharyaschev}, in: Advances in modal logic. Vol. 2. Selected papers from the 2nd international workshop (AiML'98), Uppsala, Sweden, October 16--18, 1998. Stanford, CA: CSLI Publications. 431--445 (2001; Zbl 0993.03043)
Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael Semi-qualitative reasoning about distances: A preliminary report. (English) Zbl 0998.68157 Ojeda-Aciego, Manuel (ed.) et al., Logics in artificial intelligence. European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1919, 37-56 (2000). MSC: 68T27 PDFBibTeX XMLCite \textit{H. Sturm} et al., Lect. Notes Comput. Sci. 1919, 37--56 (2000; Zbl 0998.68157)
Wolter, Frank; Zakharyaschev, Michael Temporalizing description logics. (English) Zbl 0994.03026 Gabbay, Dov M. (ed.) et al., Frontiers of combining systems 2. Selected papers from the 2nd international workshop (FroCoS’98), Amsterdam, Netherlands, October 2-4, 1998. Baldock: Research Studies Press. Stud. Log. Comput. 7, 379-401 (2000). MSC: 03B70 68T27 03B44 68T30 PDFBibTeX XMLCite \textit{F. Wolter} and \textit{M. Zakharyaschev}, Stud. Log. Comput. 7, 379--401 (2000; Zbl 0994.03026)
Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael Decidable fragments of first-order temporal logics. (English) Zbl 0999.03015 Ann. Pure Appl. Logic 106, No. 1-3, 85-134 (2000). Reviewer: Martin Hofmann (München) MSC: 03B44 03B25 68P15 68Q60 68T30 03D35 PDFBibTeX XMLCite \textit{I. Hodkinson} et al., Ann. Pure Appl. Logic 106, No. 1--3, 85--134 (2000; Zbl 0999.03015) Full Text: DOI
Wolter, Frank First order common knowledge logics. (English) Zbl 0963.03024 Stud. Log. 65, No. 2, 249-271 (2000). Reviewer: Giacomo Bonanno (Davis) MSC: 03B42 68T27 91A10 PDFBibTeX XMLCite \textit{F. Wolter}, Stud. Log. 65, No. 2, 249--271 (2000; Zbl 0963.03024) Full Text: DOI
Wolter, Frank The product of converse PDL and polymodal K. (English) Zbl 0959.03013 J. Log. Comput. 10, No. 2, 223-251 (2000). MSC: 03B45 03B70 03B44 03B42 68T30 PDFBibTeX XMLCite \textit{F. Wolter}, J. Log. Comput. 10, No. 2, 223--251 (2000; Zbl 0959.03013) Full Text: DOI Link
Wolter, Frank; Zakharyaschev, Michael Modal description logics: Modalizing roles. (English) Zbl 0951.03011 Fundam. Inform. 39, No. 4, 411-438 (1999). Reviewer: J.Šefránek (Bratislava) MSC: 03B42 68T30 03B44 03B45 68T27 03B70 03B25 PDFBibTeX XMLCite \textit{F. Wolter} and \textit{M. Zakharyaschev}, Fundam. Inform. 39, No. 4, 411--438 (1999; Zbl 0951.03011)