Dynamic Branching in Qualitative Constraint Networks via Counting Local Models






Faculty/Professorship: Smart Environments  
Author(s): Sioutis, Michail  ; Wolter, Diedrich  
Title of the compilation: 27th International Symposium on Temporal Representation and Reasoning : TIME 2020, September 23–25, 2020, Bozen-Bolzano, Italy
Editors: Muñoz-Velasco, Emilio; Ozaki, Ana; Theobald, Martin
Conference: 27th International Symposium on Temporal Representation and Reasoning : TIME 2020, September 23–25, 2020, Bozen-Bolzano, Italy
Publisher Information: Saarbrücken/Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
Year of publication: 2020
Pages: 15
ISBN: 978-3-95977-167-2
Series ; Volume: LIPIcs - Leibniz International Proceedings in Informatics ; 178
Language(s): English
DOI: 10.4230/LIPICS.TIME.2020.12
Peer Reviewed: Ja
International Distribution: Ja
Open Access Journal: Ja
Type: Conferenceobject
URI: https://fis.uni-bamberg.de/handle/uniba/55358
Release Date: 1. September 2022