Structure-driven algorithms for truth maintenance
From MaRDI portal
Publication:2674194
DOI10.1016/0004-3702(94)00096-4MaRDI QIDQ2674194
Publication date: 22 September 2022
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(94)00096-4
68Q25: Analysis of algorithms and problem complexity
68T27: Logic in artificial intelligence
68T30: Knowledge representation
Related Items
Diagnosing tree-structured systems, Consistency restoration and explanations in dynamic CSPs---Application to configuration, A logical notion of conditional independence: properties and applications, Combinatorial problems raised from 2-semilattices