Options
Dynamic Branching in Qualitative Constraint Networks via Counting Local Models
Sioutis, Michail; Wolter, Diedrich (2020): Dynamic Branching in Qualitative Constraint Networks via Counting Local Models, in: Emilio Muñoz-Velasco, Ana Ozaki, Martin Theobald, u. a. (Hrsg.), 27th International Symposium on Temporal Representation and Reasoning : TIME 2020, September 23–25, 2020, Bozen-Bolzano, Italy, Saarbrücken/Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, doi: 10.4230/LIPICS.TIME.2020.12.
Faculty/Chair:
Author:
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:
Year of publication:
2020
Pages:
ISBN:
978-3-95977-167-2
Series ; Volume:
LIPIcs - Leibniz International Proceedings in Informatics ; 178
Language:
English
Peer Reviewed:
Yes:
International Distribution:
Yes:
Open Access Journal:
Yes:
Type:
Conferenceobject
Activation date:
September 1, 2022
Permalink
https://fis.uni-bamberg.de/handle/uniba/55358