Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Dirk Walther 0002
@article{DBLP:journals/aepia/UridiaW20,
author = {Levan Uridia and
Dirk Walther},
title = {Completeness by Modal Definitions. Application to the Epistemic Logic
With Hypotheses},
journal = {Inteligencia Artif.},
volume = {23},
number = {65},
pages = {1--18},
year = {2020},
url = {https://doi.org/10.4114/intartif.vol23iss65pp1-18},
doi = {10.4114/INTARTIF.VOL23ISS65PP1-18},
timestamp = {Wed, 10 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aepia/UridiaW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/Uridia020,
author = {Levan Uridia and
Dirk Walther},
editor = {Gr{\'{e}}goire Danoy and
Jun Pang and
Geoff Sutcliffe},
title = {Common Knowledge in an Epistemic Logic with Hypotheses},
booktitle = {6th Global Conference on Artificial Intelligence, {GCAI} 2020, Hangzhou,
China, April 6-9, 2020},
series = {EPiC Series in Computing},
volume = {72},
pages = {83--91},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/43wj},
doi = {10.29007/43WJ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/Uridia020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/Martin-Recuerda20,
author = {Francisco Mart{\'{\i}}n{-}Recuerda and
Dirk Walther and
Siegfried Eisinger and
Graham Moore and
Petter Andersen and
Per{-}Olav Opdahl and
Lillian Hella},
editor = {Jeff Z. Pan and
Valentina A. M. Tamma and
Claudia d'Amato and
Krzysztof Janowicz and
Bo Fu and
Axel Polleres and
Oshani Seneviratne and
Lalana Kagal},
title = {Revisiting Ontologies of Units of Measure for Harmonising Quantity
Values - {A} Use Case},
booktitle = {The Semantic Web - {ISWC} 2020 - 19th International Semantic Web Conference,
Athens, Greece, November 2-6, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12507},
pages = {551--567},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62466-8\_34},
doi = {10.1007/978-3-030-62466-8\_34},
timestamp = {Fri, 25 Dec 2020 01:15:04 +0100},
biburl = {https://dblp.org/rec/conf/semweb/Martin-Recuerda20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ChenAS0G19,
author = {Jieying Chen and
Ghadah Alghamdi and
Renate A. Schmidt and
Dirk Walther and
Yongsheng Gao},
editor = {Mantas Simkus and
Grant E. Weddell},
title = {Modularity Meets Forgetting: {A} Case Study with the {SNOMED} {CT}
Ontology},
booktitle = {Proceedings of the 32nd International Workshop on Description Logics,
Oslo, Norway, June 18-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2373},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2373/paper-10.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/ChenAS0G19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/Uridia019,
author = {Levan Uridia and
Dirk Walther},
editor = {Diego Calvanese and
Luca Iocchi},
title = {Common Knowledge in Epistemic Logic With Hypotheses},
booktitle = {{GCAI} 2019. Proceedings of the 5th Global Conference on Artificial
Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019},
series = {EPiC Series in Computing},
volume = {65},
pages = {139--151},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/glrl},
doi = {10.29007/GLRL},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/Uridia019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/ChenLM019,
author = {Jieying Chen and
Michel Ludwig and
Yue Ma and
Dirk Walther},
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {Computing Minimal Projection Modules for \emph{ELH}{\^{}}r -Terminologies},
booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11468},
pages = {355--370},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_23},
doi = {10.1007/978-3-030-19570-0\_23},
timestamp = {Fri, 04 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/ChenLM019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kcap/ChenAS0G19,
author = {Jieying Chen and
Ghadah Alghamdi and
Renate A. Schmidt and
Dirk Walther and
Yongsheng Gao},
editor = {Mayank Kejriwal and
Pedro A. Szekely and
Rapha{\"{e}}l Troncy},
title = {Ontology Extraction for Large Ontologies via Modularity and Forgetting},
booktitle = {Proceedings of the 10th International Conference on Knowledge Capture,
{K-CAP} 2019, Marina Del Rey, CA, USA, November 19-21, 2019},
pages = {45--52},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3360901.3364424},
doi = {10.1145/3360901.3364424},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kcap/ChenAS0G19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ChenLM018,
author = {Jieying Chen and
Michel Ludwig and
Yue Ma and
Dirk Walther},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Computing Minimal Projection Modules for Conjunctive Queries},
booktitle = {Proceedings of the 31st International Workshop on Description Logics
co-located with 16th International Conference on Principles of Knowledge
Representation and Reasoning {(KR} 2018), Tempe, Arizona, US, October
27th - to - 29th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2211},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2211/paper-12.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ChenLM018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ChenM018,
author = {Jieying Chen and
Yue Ma and
Dirk Walther},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving},
booktitle = {Proceedings of the 31st International Workshop on Description Logics
co-located with 16th International Conference on Principles of Knowledge
Representation and Reasoning {(KR} 2018), Tempe, Arizona, US, October
27th - to - 29th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2211},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2211/paper-13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ChenM018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/ChenL018,
author = {Jieying Chen and
Michel Ludwig and
Dirk Walther},
editor = {Daniel D. Lee and
Alexander Steen and
Toby Walsh},
title = {Computing Minimal Subsumption Modules of Ontologies},
booktitle = {GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg,
September 18-21, 2018},
series = {EPiC Series in Computing},
volume = {55},
pages = {41--53},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/tz7k},
doi = {10.29007/TZ7K},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/ChenL018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iberamia/Uridia018,
author = {Levan Uridia and
Dirk Walther},
editor = {Guillermo Ricardo Simari and
Eduardo Ferm{\'{e}} and
Flabio Guti{\'{e}}rrez Segura and
Jos{\'{e}} Antonio Rodr{\'{\i}}guez Melquiades},
title = {Completeness by Modal Definitions},
booktitle = {Advances in Artificial Intelligence - {IBERAMIA} 2018 - 16th Ibero-American
Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11238},
pages = {67--79},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03928-8\_6},
doi = {10.1007/978-3-030-03928-8\_6},
timestamp = {Sat, 09 Apr 2022 12:40:14 +0200},
biburl = {https://dblp.org/rec/conf/iberamia/Uridia018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/ChenLMW17,
author = {Jieying Chen and
Michel Ludwig and
Yue Ma and
Dirk Walther},
editor = {Claudia d'Amato and
Miriam Fern{\'{a}}ndez and
Valentina A. M. Tamma and
Freddy L{\'{e}}cu{\'{e}} and
Philippe Cudr{\'{e}}{-}Mauroux and
Juan F. Sequeda and
Christoph Lange and
Jeff Heflin},
title = {Zooming in on Ontologies: Minimal Modules and Best Excerpts},
booktitle = {The Semantic Web - {ISWC} 2017 - 16th International Semantic Web Conference,
Vienna, Austria, October 21-25, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10587},
pages = {173--189},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68288-4\_11},
doi = {10.1007/978-3-319-68288-4\_11},
timestamp = {Fri, 04 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/ChenLMW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fois/ChenL016,
author = {Jieying Chen and
Michel Ludwig and
Dirk Walther},
editor = {Oliver Kutz and
Sergio de Cesare and
Maria M. Hedblom and
Tarek Richard Besold and
Tony Veale and
Frederik Gailly and
Giancarlo Guizzardi and
Mark Lycett and
Chris Partridge and
Oscar Pastor and
Michael Gr{\"{u}}ninger and
Fabian Neuhaus and
Till Mossakowski and
Stefano Borgo and
Loris Bozzato and
Chiara Del Vescovo and
Martin Homola and
Frank Loebe and
Adrien Barton and
Jean{-}R{\'{e}}mi Bourguet},
title = {On Computing Minimal EL-Subsumption Modules},
booktitle = {Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French
Summer of Ontology co-located with the 9th International Conference
on Formal Ontology in Information Systems {(FOIS} 2016), Annecy, France,
July 6-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1660},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1660/womocoe-paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/fois/ChenL016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/Ludwig016,
author = {Michel Ludwig and
Dirk Walther},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {Towards a Practical Decision Procedure for Uniform Interpolants of
EL-TBoxes - a Proof-Theoretic Approach},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {147--160},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/bsqm},
doi = {10.29007/BSQM},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/Ludwig016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/FengL015,
author = {Shasha Feng and
Michel Ludwig and
Dirk Walther},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Foundations for the Logical Difference of EL-TBoxes},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {93--112},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/prhh},
doi = {10.29007/PRHH},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/FengL015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwost/FengL015,
author = {Shasha Feng and
Michel Ludwig and
Dirk Walther},
editor = {Steffen H{\"{o}}lldobler and
Yanchun Liang},
title = {The Logical Difference for {EL:} From Terminologies Towards TBoxes},
booktitle = {Proceedings of the 1st International Workshop on Semantic Technologies
(IWOST), Changchun, China, March 9-12, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1339},
pages = {31--41},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1339/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:59 +0100},
biburl = {https://dblp.org/rec/conf/iwost/FengL015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/FengL015,
author = {Shasha Feng and
Michel Ludwig and
Dirk Walther},
editor = {Steffen H{\"{o}}lldobler and
Markus Kr{\"{o}}tzsch and
Rafael Pe{\~{n}}aloza and
Sebastian Rudolph},
title = {Deciding Subsumers of Least Fixpoint Concepts w.r.t. general \emph{EL}
-TBoxes},
booktitle = {{KI} 2015: Advances in Artificial Intelligence - 38th Annual German
Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9324},
pages = {59--71},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24489-1\_5},
doi = {10.1007/978-3-319-24489-1\_5},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/FengL015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/ChenLM015,
author = {Jieying Chen and
Michel Ludwig and
Yue Ma and
Dirk Walther},
editor = {Songmao Zhang and
Martin Wirsing and
Zili Zhang},
title = {Towards Extracting Ontology Excerpts},
booktitle = {Knowledge Science, Engineering and Management - 8th International
Conference, {KSEM} 2015, Chongqing, China, October 28-30, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9403},
pages = {78--89},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25159-2\_7},
doi = {10.1007/978-3-319-25159-2\_7},
timestamp = {Fri, 04 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ksem/ChenLM015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acri/DelivoriasHPW14,
author = {Stathis Delivorias and
Haralampos Hatzikirou and
Rafael Pe{\~{n}}aloza and
Dirk Walther},
editor = {Jaroslaw Was and
Georgios Ch. Sirakoulis and
Stefania Bandini},
title = {Detecting Emergent Phenomena in Cellular Automata Using Temporal Description
Logics},
booktitle = {Cellular Automata - 11th International Conference on Cellular Automata
for Research and Industry, {ACRI} 2014, Krakow, Poland, September
22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8751},
pages = {357--366},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11520-7\_37},
doi = {10.1007/978-3-319-11520-7\_37},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acri/DelivoriasHPW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Ludwig014,
author = {Michel Ludwig and
Dirk Walther},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Detecting Conjunctive Query Differences between ELHr-Terminologies
using Hypergraphs},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {287--298},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_68.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/Ludwig014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Martin-RecuerdaW14,
author = {Francisco Mart{\'{\i}}n{-}Recuerda and
Dirk Walther},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Axiom Dependency Hypergraphs for Fast Atomic Decomposition of Ontologies},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {299--310},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_53.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Martin-RecuerdaW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ChenLM014,
author = {Jieying Chen and
Michel Ludwig and
Yue Ma and
Dirk Walther},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Evaluation of Extraction Techniques for Ontology Excerpts},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {471--482},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_71.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ChenLM014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Ludwig014,
author = {Michel Ludwig and
Dirk Walther},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {The Logical Difference for {\(\mathscr{E}\)}{\(\mathscr{L}\)}{\(\mathscr{H}\)}\({}^{\mbox{r}}\)-Terminologies
using Hypergraphs},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {555--560},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-555},
doi = {10.3233/978-1-61499-419-0-555},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Ludwig014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/Martin-Recuerda014,
author = {Francisco Mart{\'{\i}}n{-}Recuerda and
Dirk Walther},
editor = {Peter Mika and
Tania Tudorache and
Abraham Bernstein and
Chris Welty and
Craig A. Knoblock and
Denny Vrandecic and
Paul Groth and
Natasha F. Noy and
Krzysztof Janowicz and
Carole A. Goble},
title = {Fast Modularisation and Atomic Decomposition of Ontologies Using Axiom
Dependency Hypergraphs},
booktitle = {The Semantic Web - {ISWC} 2014 - 13th International Semantic Web Conference,
Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8797},
pages = {49--64},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11915-1\_4},
doi = {10.1007/978-3-319-11915-1\_4},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/Martin-Recuerda014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Hoek0W14,
author = {Wiebe van der Hoek and
Dirk Walther and
Michael J. Wooldridge},
title = {Reasoning About the Transfer of Control},
journal = {CoRR},
volume = {abs/1401.3825},
year = {2014},
url = {http://arxiv.org/abs/1401.3825},
eprinttype = {arXiv},
eprint = {1401.3825},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Hoek0W14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KonevL0W14,
author = {Boris Konev and
Michel Ludwig and
Dirk Walther and
Frank Wolter},
title = {The Logical Difference for the Lightweight Description Logic {EL}},
journal = {CoRR},
volume = {abs/1401.5850},
year = {2014},
url = {http://arxiv.org/abs/1401.5850},
eprinttype = {arXiv},
eprint = {1401.5850},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KonevL0W14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KonevL0W13,
author = {Boris Konev and
Carsten Lutz and
Dirk Walther and
Frank Wolter},
title = {Model-theoretic inseparability and modularity of description logic
ontologies},
journal = {Artif. Intell.},
volume = {203},
pages = {66--103},
year = {2013},
url = {https://doi.org/10.1016/j.artint.2013.07.004},
doi = {10.1016/J.ARTINT.2013.07.004},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/KonevL0W13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doceng/EckeL013,
author = {Andreas Ecke and
Michel Ludwig and
Dirk Walther},
editor = {Gioele Barabucci and
Uwe M. Borghoff and
Angelo Di Iorio and
Sonja Maier},
title = {The Concept Difference for EL-Terminologies using Hypergraphs},
booktitle = {Proceedings of the International workshop on Document Changes: Modeling,
Detection, Storage and Visualization, Florence, Italy, September 10,
2013},
series = {{CEUR} Workshop Proceedings},
volume = {1008},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1008/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/doceng/EckeL013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/HerzigLW13,
author = {Andreas Herzig and
Emiliano Lorini and
Dirk Walther},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Reasoning about Actions Meets Strategic Logics},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {162--175},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_13},
doi = {10.1007/978-3-642-40948-6\_13},
timestamp = {Sun, 02 Jun 2019 21:21:18 +0200},
biburl = {https://dblp.org/rec/conf/lori/HerzigLW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/womo/Martin-Recuerda013,
author = {Francisco Mart{\'{\i}}n{-}Recuerda and
Dirk Walther},
editor = {Chiara Del Vescovo and
Torsten Hahmann and
David Pearce and
Dirk Walther},
title = {Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs},
booktitle = {Proceedings of the 7th International Workshop on Modular Ontologies
co-located with the 12th International Conference on Logic Programming
and Non-monotonic Reasoning {(LPNMR} 2013), Corunna, Spain, September
15, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1081},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1081/womo2013\_regular\_paper\_4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/womo/Martin-Recuerda013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/womo/2013,
editor = {Chiara Del Vescovo and
Torsten Hahmann and
David Pearce and
Dirk Walther},
title = {Proceedings of the 7th International Workshop on Modular Ontologies
co-located with the 12th International Conference on Logic Programming
and Non-monotonic Reasoning {(LPNMR} 2013), Corunna, Spain, September
15, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1081},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1081},
urn = {urn:nbn:de:0074-1081-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/womo/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/KonevL0W12,
author = {Boris Konev and
Michel Ludwig and
Dirk Walther and
Frank Wolter},
title = {The Logical Difference for the Lightweight Description Logic {EL}},
journal = {J. Artif. Intell. Res.},
volume = {44},
pages = {633--708},
year = {2012},
url = {https://doi.org/10.1613/jair.3552},
doi = {10.1613/JAIR.3552},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/KonevL0W12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/TroquardW12,
author = {Nicolas Troquard and
Dirk Walther},
editor = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Mengin},
title = {On Satisfiability in {ATL} with Strategy Contexts},
booktitle = {Logics in Artificial Intelligence - 13th European Conference, {JELIA}
2012, Toulouse, France, September 26-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7519},
pages = {398--410},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33353-8\_31},
doi = {10.1007/978-3-642-33353-8\_31},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/TroquardW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/womo/2012,
editor = {Thomas Schneider and
Dirk Walther},
title = {Proceedings of the 6th International Workshop on Modular Ontologies,
Graz, Austria, July 24, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {875},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-875},
urn = {urn:nbn:de:0074-875-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/womo/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/UridiaW11,
author = {Levan Uridia and
Dirk Walther},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {An Epistemic Logic with Hypotheses},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {286--299},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_21},
doi = {10.1007/978-3-642-24130-7\_21},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/lori/UridiaW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/HoekWW10,
author = {Wiebe van der Hoek and
Dirk Walther and
Michael J. Wooldridge},
title = {Reasoning About the Transfer of Control},
journal = {J. Artif. Intell. Res.},
volume = {37},
pages = {437--477},
year = {2010},
url = {https://doi.org/10.1613/jair.2901},
doi = {10.1613/JAIR.2901},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/HoekWW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/TroquardW10,
author = {Nicolas Troquard and
Dirk Walther},
editor = {Wiebe van der Hoek and
Gal A. Kaminka and
Yves Lesp{\'{e}}rance and
Michael Luck and
Sandip Sen},
title = {Alternating-time dynamic logic},
booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems
{(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
pages = {473--480},
publisher = {{IFAAMAS}},
year = {2010},
url = {https://dl.acm.org/citation.cfm?id=1838273},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/TroquardW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KutzNMW10,
author = {Oliver Kutz and
Immanuel Normann and
Till Mossakowski and
Dirk Walther},
editor = {Pavel Shvaiko and
J{\'{e}}r{\^{o}}me Euzenat and
Fausto Giunchiglia and
Heiner Stuckenschmidt and
Ming Mao and
Isabel F. Cruz},
title = {Chinese whispers and connected alignments},
booktitle = {Proceedings of the 5th International Workshop on Ontology Matching
(OM-2010), Shanghai, China, November 7, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {689},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-689/om2010\_Tpaper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/semweb/KutzNMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KonevWW09,
author = {Boris Konev and
Dirk Walther and
Frank Wolter},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Ulrike Sattler},
title = {Forgetting and Uniform Interpolation in Extensions of the Description
Logic {EL}},
booktitle = {Proceedings of the 22nd International Workshop on Description Logics
{(DL} 2009), Oxford, UK, July 27-30, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {477},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-477/paper\_28.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KonevWW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KonevWW09,
author = {Boris Konev and
Dirk Walther and
Frank Wolter},
editor = {Craig Boutilier},
title = {Forgetting and Uniform Interpolation in Large-Scale Description Logic
Terminologies},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {830--835},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/142.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KonevWW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/KonevLWW09,
author = {Boris Konev and
Carsten Lutz and
Dirk Walther and
Frank Wolter},
editor = {Heiner Stuckenschmidt and
Christine Parent and
Stefano Spaccapietra},
title = {Formal Properties of Modularisation},
booktitle = {Modular Ontologies: Concepts, Theories and Techniques for Knowledge
Modularization},
series = {Lecture Notes in Computer Science},
volume = {5445},
pages = {25--66},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01907-4\_3},
doi = {10.1007/978-3-642-01907-4\_3},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/KonevLWW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KonevWW08,
author = {Boris Konev and
Dirk Walther and
Frank Wolter},
editor = {Alessandro Armando and
Peter Baumgartner and
Gilles Dowek},
title = {The Logical Difference Problem for Description Logic Terminologies},
booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
Sydney, Australia, August 12-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5195},
pages = {259--274},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-71070-7\_21},
doi = {10.1007/978-3-540-71070-7\_21},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/KonevWW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KonevLWW08,
author = {Boris Konev and
Carsten Lutz and
Dirk Walther and
Frank Wolter},
editor = {Franz Baader and
Carsten Lutz and
Boris Motik},
title = {Logical Difference and Module Extraction with {CEX} and {MEX}},
booktitle = {Proceedings of the 21st International Workshop on Description Logics
(DL2008), Dresden, Germany, May 13-16, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {353},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-353/KonevLutzWaltherWolter.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KonevLWW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KonevLWW08,
author = {Boris Konev and
Carsten Lutz and
Dirk Walther and
Frank Wolter},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Semantic Modularity and Module Extraction in Description Logics},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {55--59},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-55},
doi = {10.3233/978-1-58603-891-5-55},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/KonevLWW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/KonevL0W08,
author = {Boris Konev and
Carsten Lutz and
Dirk Walther and
Frank Wolter},
editor = {Kendall Clark and
Peter F. Patel{-}Schneider},
title = {{CEX} and {MEX:} Logical Diff and Logic-based Module Extraction in
a Fragment of {OWL}},
booktitle = {Proceedings of the Fourth {OWLED} Workshop on {OWL:} Experiences and
Directions, Washington, DC, USA, 1-2 April 2008},
series = {{CEUR} Workshop Proceedings},
volume = {496},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-496/owled2008dc\_paper\_12.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/KonevL0W08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LutzWW07,
author = {Carsten Lutz and
Dirk Walther and
Frank Wolter},
title = {Quantitative temporal logics over the reals: PSpace and below},
journal = {Inf. Comput.},
volume = {205},
number = {1},
pages = {99--123},
year = {2007},
url = {https://doi.org/10.1016/j.ic.2006.08.006},
doi = {10.1016/J.IC.2006.08.006},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LutzWW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LutzWW07,
author = {Carsten Lutz and
Dirk Walther and
Frank Wolter},
editor = {Manuela M. Veloso},
title = {Conservative Extensions in Expressive Description Logics},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {453--458},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/071.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LutzWW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/WaltherHW07,
author = {Dirk Walther and
Wiebe van der Hoek and
Michael J. Wooldridge},
editor = {Dov Samet},
title = {Alternating-time temporal logic with explicit strategies},
booktitle = {Proceedings of the 11th Conference on Theoretical Aspects of Rationality
and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007},
pages = {269--278},
year = {2007},
url = {https://doi.org/10.1145/1324249.1324285},
doi = {10.1145/1324249.1324285},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tark/WaltherHW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/WaltherLWW06,
author = {Dirk Walther and
Carsten Lutz and
Frank Wolter and
Michael J. Wooldridge},
title = {{ATL} Satisfiability is Indeed EXPTIME-complete},
journal = {J. Log. Comput.},
volume = {16},
number = {6},
pages = {765--787},
year = {2006},
url = {https://doi.org/10.1093/logcom/exl009},
doi = {10.1093/LOGCOM/EXL009},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/WaltherLWW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/LutzW05,
author = {Carsten Lutz and
Dirk Walther},
title = {{PDL} with Negation of Atomic Programs},
journal = {J. Appl. Non Class. Logics},
volume = {15},
number = {2},
pages = {189--213},
year = {2005},
url = {https://doi.org/10.3166/jancl.15.189-213},
doi = {10.3166/JANCL.15.189-213},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/LutzW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/LutzWW05,
author = {Carsten Lutz and
Dirk Walther and
Frank Wolter},
title = {Quantitative Temporal Logics: {PSPACE} and Below},
booktitle = {12th International Symposium on Temporal Representation and Reasoning
{(TIME} 2005), 23-25 June 2005, Burlington, Vermont, {USA}},
pages = {138--146},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/TIME.2005.31},
doi = {10.1109/TIME.2005.31},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/LutzWW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LutzW04,
author = {Carsten Lutz and
Dirk Walther},
editor = {David A. Basin and
Micha{\"{e}}l Rusinowitch},
title = {{PDL} with Negation of Atomic Programs},
booktitle = {Automated Reasoning - Second International Joint Conference, {IJCAR}
2004, Cork, Ireland, July 4-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3097},
pages = {259--273},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25984-8\_18},
doi = {10.1007/978-3-540-25984-8\_18},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/LutzW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2023-12-18 20:28 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:
