Published in: LIPIcs, Volume 278, 30th International Symposium on Temporal Representation and Reasoning (TIME 2023)
Yakoub Salhi and Michael Sioutis. A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning (Extended Abstract). In 30th International Symposium on Temporal Representation and Reasoning (TIME 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 278, pp. 16:1-16:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{salhi_et_al:LIPIcs.TIME.2023.16, author = {Salhi, Yakoub and Sioutis, Michael}, title = {{A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning}}, booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)}, pages = {16:1--16:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-298-3}, ISSN = {1868-8969}, year = {2023}, volume = {278}, editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.16}, URN = {urn:nbn:de:0030-drops-191062}, doi = {10.4230/LIPIcs.TIME.2023.16}, annote = {Keywords: Spatial and Temporal Reasoning, Qualitative Constraints, Inconsistency Handling, Decomposition, Inconsistency Measures} }
Published in: LIPIcs, Volume 178, 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
Michael Sioutis and Diedrich Wolter. Dynamic Branching in Qualitative Constraint Networks via Counting Local Models. In 27th International Symposium on Temporal Representation and Reasoning (TIME 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 178, pp. 12:1-12:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{sioutis_et_al:LIPIcs.TIME.2020.12, author = {Sioutis, Michael and Wolter, Diedrich}, title = {{Dynamic Branching in Qualitative Constraint Networks via Counting Local Models}}, booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)}, pages = {12:1--12:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-167-2}, ISSN = {1868-8969}, year = {2020}, volume = {178}, editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.12}, URN = {urn:nbn:de:0030-drops-129802}, doi = {10.4230/LIPIcs.TIME.2020.12}, annote = {Keywords: Qualitative constraints, spatial and temporal reasoning, counting local models, dynamic branching, adaptive algorithm} }
Published in: LIPIcs, Volume 114, 10th International Conference on Geographic Information Science (GIScience 2018)
Madiha Yousaf and Diedrich Wolter. Spatial Information Extraction from Text Using Spatio-Ontological Reasoning (Short Paper). In 10th International Conference on Geographic Information Science (GIScience 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 114, pp. 71:1-71:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{yousaf_et_al:LIPIcs.GISCIENCE.2018.71, author = {Yousaf, Madiha and Wolter, Diedrich}, title = {{Spatial Information Extraction from Text Using Spatio-Ontological Reasoning}}, booktitle = {10th International Conference on Geographic Information Science (GIScience 2018)}, pages = {71:1--71:6}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-083-5}, ISSN = {1868-8969}, year = {2018}, volume = {114}, editor = {Winter, Stephan and Griffin, Amy and Sester, Monika}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.GISCIENCE.2018.71}, URN = {urn:nbn:de:0030-drops-93997}, doi = {10.4230/LIPIcs.GISCIENCE.2018.71}, annote = {Keywords: spatial information extraction, geo-referencing, spatial reasoning} }
Published in: Dagstuhl Seminar Proceedings, Volume 8091, Logic and Probability for Scene Interpretation (2008)
Diedrich Wolter. Qualitative Arrangement Information for Matching. In Logic and Probability for Scene Interpretation. Dagstuhl Seminar Proceedings, Volume 8091, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{wolter:DagSemProc.08091.12, author = {Wolter, Diedrich}, title = {{Qualitative Arrangement Information for Matching}}, booktitle = {Logic and Probability for Scene Interpretation}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8091}, editor = {Anthony G. Cohn and David C. Hogg and Ralf M\"{o}ller and Bernd Neumann}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08091.12}, URN = {urn:nbn:de:0030-drops-16103}, doi = {10.4230/DagSemProc.08091.12}, annote = {Keywords: Matching, qualitative spatial reasoning} }
Feedback for Dagstuhl Publishing