Published in: OASIcs, Volume 138, Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 & RW 2025)
Patrick Koopmann. Explaining Reasoning Results for Description Logic Ontologies (Invited Paper). In Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 & RW 2025). Open Access Series in Informatics (OASIcs), Volume 138, pp. 6:1-6:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{koopmann:OASIcs.RW.2024/2025.6,
author = {Koopmann, Patrick},
title = {{Explaining Reasoning Results for Description Logic Ontologies}},
booktitle = {Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 \& RW 2025)},
pages = {6:1--6:29},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-405-5},
ISSN = {2190-6807},
year = {2025},
volume = {138},
editor = {Artale, Alessandro and Bienvenu, Meghyn and Garc{\'\i}a, Yazm{\'\i}n Ib\'{a}\~{n}ez and Murlak, Filip},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.RW.2024/2025.6},
URN = {urn:nbn:de:0030-drops-250514},
doi = {10.4230/OASIcs.RW.2024/2025.6},
annote = {Keywords: Explanations, Justifications, Proofs, Craig Interpolation, Contrastive Explanations}
}
Published in: OASIcs, Volume 130, Advancing Human-Computer Interaction for Space Exploration (SpaceCHI 2025)
Ze Gao, Yuan Zhuang, Kunqi Wang, and Mengyao Guo. Monitoring the Structural Health of Space Habitats Through Immersive Data Art Visualization. In Advancing Human-Computer Interaction for Space Exploration (SpaceCHI 2025). Open Access Series in Informatics (OASIcs), Volume 130, pp. 31:1-31:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{gao_et_al:OASIcs.SpaceCHI.2025.31,
author = {Gao, Ze and Zhuang, Yuan and Wang, Kunqi and Guo, Mengyao},
title = {{Monitoring the Structural Health of Space Habitats Through Immersive Data Art Visualization}},
booktitle = {Advancing Human-Computer Interaction for Space Exploration (SpaceCHI 2025)},
pages = {31:1--31:18},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-384-3},
ISSN = {2190-6807},
year = {2025},
volume = {130},
editor = {Bensch, Leonie and Nilsson, Tommy and Nisser, Martin and Pataranutaporn, Pat and Schmidt, Albrecht and Sumini, Valentina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SpaceCHI.2025.31},
URN = {urn:nbn:de:0030-drops-240217},
doi = {10.4230/OASIcs.SpaceCHI.2025.31},
annote = {Keywords: Structural health monitoring, space habitats, immersive visualization, human-centered design, interdisciplinary innovation}
}
Published in: TGDK, Volume 3, Issue 1 (2025). Transactions on Graph Data and Knowledge, Volume 3, Issue 1
Lucas Jarnac, Yoan Chabot, and Miguel Couceiro. Uncertainty Management in the Construction of Knowledge Graphs: A Survey. In Transactions on Graph Data and Knowledge (TGDK), Volume 3, Issue 1, pp. 3:1-3:48, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@Article{jarnac_et_al:TGDK.3.1.3,
author = {Jarnac, Lucas and Chabot, Yoan and Couceiro, Miguel},
title = {{Uncertainty Management in the Construction of Knowledge Graphs: A Survey}},
journal = {Transactions on Graph Data and Knowledge},
pages = {3:1--3:48},
ISSN = {2942-7517},
year = {2025},
volume = {3},
number = {1},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/TGDK.3.1.3},
URN = {urn:nbn:de:0030-drops-233733},
doi = {10.4230/TGDK.3.1.3},
annote = {Keywords: Knowledge reconciliation, Uncertainty, Heterogeneous sources, Knowledge graph construction}
}
Published in: LIPIcs, Volume 332, 41st International Symposium on Computational Geometry (SoCG 2025)
Matthias Bentert, Fedor V. Fomin, Petr A. Golovach, M. S. Ramanujan, and Saket Saurabh. When Distances Lie: Euclidean Embeddings in the Presence of Outliers and Distance Violations. In 41st International Symposium on Computational Geometry (SoCG 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 332, pp. 15:1-15:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{bentert_et_al:LIPIcs.SoCG.2025.15,
author = {Bentert, Matthias and Fomin, Fedor V. and Golovach, Petr A. and Ramanujan, M. S. and Saurabh, Saket},
title = {{When Distances Lie: Euclidean Embeddings in the Presence of Outliers and Distance Violations}},
booktitle = {41st International Symposium on Computational Geometry (SoCG 2025)},
pages = {15:1--15:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-370-6},
ISSN = {1868-8969},
year = {2025},
volume = {332},
editor = {Aichholzer, Oswin and Wang, Haitao},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2025.15},
URN = {urn:nbn:de:0030-drops-231672},
doi = {10.4230/LIPIcs.SoCG.2025.15},
annote = {Keywords: Parameterized Complexity, Euclidean Embedding, FPT-approximation}
}
Published in: TGDK, Volume 2, Issue 1 (2024): Special Issue on Trends in Graph Data and Knowledge - Part 2. Transactions on Graph Data and Knowledge, Volume 2, Issue 1
Pieter Bonte, Jean-Paul Calbimonte, Daniel de Leng, Daniele Dell'Aglio, Emanuele Della Valle, Thomas Eiter, Federico Giannini, Fredrik Heintz, Konstantin Schekotihin, Danh Le-Phuoc, Alessandra Mileo, Patrik Schneider, Riccardo Tommasini, Jacopo Urbani, and Giacomo Ziffer. Grounding Stream Reasoning Research. In Special Issue on Trends in Graph Data and Knowledge - Part 2. Transactions on Graph Data and Knowledge (TGDK), Volume 2, Issue 1, pp. 2:1-2:47, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@Article{bonte_et_al:TGDK.2.1.2,
author = {Bonte, Pieter and Calbimonte, Jean-Paul and de Leng, Daniel and Dell'Aglio, Daniele and Della Valle, Emanuele and Eiter, Thomas and Giannini, Federico and Heintz, Fredrik and Schekotihin, Konstantin and Le-Phuoc, Danh and Mileo, Alessandra and Schneider, Patrik and Tommasini, Riccardo and Urbani, Jacopo and Ziffer, Giacomo},
title = {{Grounding Stream Reasoning Research}},
journal = {Transactions on Graph Data and Knowledge},
pages = {2:1--2:47},
ISSN = {2942-7517},
year = {2024},
volume = {2},
number = {1},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/TGDK.2.1.2},
URN = {urn:nbn:de:0030-drops-198597},
doi = {10.4230/TGDK.2.1.2},
annote = {Keywords: Stream Reasoning, Stream Processing, RDF streams, Streaming Linked Data, Continuous query processing, Temporal Logics, High-performance computing, Databases}
}
Published in: Dagstuhl Seminar Proceedings, Volume 10081, Cognitive Robotics (2010)
Patrick Doherty, Jonas Kvarnström, Fredrik Heintz, D. Landen, and P.-M. Olsson. Research with Collaborative Unmanned Aircraft Systems. In Cognitive Robotics. Dagstuhl Seminar Proceedings, Volume 10081, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{doherty_et_al:DagSemProc.10081.13,
author = {Doherty, Patrick and Kvarnstr\"{o}m, Jonas and Heintz, Fredrik and Landen, D. and Olsson, P.-M.},
title = {{Research with Collaborative Unmanned Aircraft Systems}},
booktitle = {Cognitive Robotics},
pages = {1--14},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2010},
volume = {10081},
editor = {Gerhard Lakemeyer and Hector J. Levesque and Fiora Pirri},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.13},
URN = {urn:nbn:de:0030-drops-26300},
doi = {10.4230/DagSemProc.10081.13},
annote = {Keywords: Multi-agent systems, robotics, human-robot interaction, delegation}
}
Published in: Dagstuhl Seminar Proceedings, Volume 10081, Cognitive Robotics (2010)
Fredrik Heintz, Jonas Kvarnström, and Patrick Doherty. Stream-Based Reasoning in DyKnow. In Cognitive Robotics. Dagstuhl Seminar Proceedings, Volume 10081, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{heintz_et_al:DagSemProc.10081.16,
author = {Heintz, Fredrik and Kvarnstr\"{o}m, Jonas and Doherty, Patrick},
title = {{Stream-Based Reasoning in DyKnow}},
booktitle = {Cognitive Robotics},
pages = {1--16},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2010},
volume = {10081},
editor = {Gerhard Lakemeyer and Hector J. Levesque and Fiora Pirri},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.16},
URN = {urn:nbn:de:0030-drops-26274},
doi = {10.4230/DagSemProc.10081.16},
annote = {Keywords: Knowledge representation, autonomous systems, stream-based reasoning}
}
Published in: Dagstuhl Seminar Proceedings, Volume 6231, Towards Affordance-Based Robot Control (2006)
Erich Rome, Patrick Doherty, Georg Dorffner, and Joachim Hertzberg. 06231 Abstracts Collection – Towards Affordance-Based Robot Control. In Towards Affordance-Based Robot Control. Dagstuhl Seminar Proceedings, Volume 6231, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{rome_et_al:DagSemProc.06231.1,
author = {Rome, Erich and Doherty, Patrick and Dorffner, Georg and Hertzberg, Joachim},
title = {{06231 Abstracts Collection – Towards Affordance-Based Robot Control}},
booktitle = {Towards Affordance-Based Robot Control},
pages = {1--12},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6231},
editor = {Erich Rome and Patrick Doherty and Georg Dorffner and Joachim Hertzberg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06231.1},
URN = {urn:nbn:de:0030-drops-7226},
doi = {10.4230/DagSemProc.06231.1},
annote = {Keywords: Affordances, cognitive systems, biologically inspired systems, models of biological systems, attention models, interpersonal maps, human wayfinding, motivations, robot control architectures, hybrid robot control, goal-directed robot control, reactive robot control, ubiquitous robotics, cooperative robotics, robot learning, reinforcement learning, concept learning, action-oriented perception, function-based perception}
}
Published in: Dagstuhl Seminar Proceedings, Volume 6231, Towards Affordance-Based Robot Control (2006)
Erich Rome, Joachim Hertzberg, Georg Dorffner, and Patrick Doherty. 06231 Executive Summary – Towards Affordance-based Robot Control. In Towards Affordance-Based Robot Control. Dagstuhl Seminar Proceedings, Volume 6231, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{rome_et_al:DagSemProc.06231.2,
author = {Rome, Erich and Hertzberg, Joachim and Dorffner, Georg and Doherty, Patrick},
title = {{06231 Executive Summary – Towards Affordance-based Robot Control}},
booktitle = {Towards Affordance-Based Robot Control},
pages = {1--9},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6231},
editor = {Erich Rome and Patrick Doherty and Georg Dorffner and Joachim Hertzberg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06231.2},
URN = {urn:nbn:de:0030-drops-7254},
doi = {10.4230/DagSemProc.06231.2},
annote = {Keywords: Affordances, robot control, robot learning, action-oriented perception, robot perception, biologically inspired systems, cognitive systems}
}