Dynamic branching in qualitative constraint-based reasoning via counting local models





Faculty/Professorship: Smart Environments  
Author(s): Sioutis, Michail  ; Wolter, Diedrich  
Title of the Journal: Information and Computation
ISSN: 0890-5401
Publisher Information: Amsterdam : Elsevier
Year of publication: 2021
Volume: 281
Issue: December 2021, 104787
Language(s): English
DOI: 10.1016/j.ic.2021.104787
Peer Reviewed: Ja
International Distribution: Ja
Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/55354
Release Date: 1. September 2022