Structure-driven algorithms for truth maintenance
From MaRDI portal
Publication:2674194
DOI10.1016/0004-3702(94)00096-4OpenAlexW2035318784MaRDI 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
Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Knowledge representation (68T30)
Related Items
A logical notion of conditional independence: properties and applications ⋮ Diagnosing tree-structured systems ⋮ Combinatorial problems raised from 2-semilattices ⋮ Consistency restoration and explanations in dynamic CSPs---Application to configuration
Cites Work