Algorithms for Computing Minimal Conflicts

DOI10.1093/JIGPAL/JZK026zbMath1105.68097OpenAlexW2170557551MaRDI QIDQ3411866

Guozhong Dai, Shangmin Luan, Lorenzo Magnani

Publication date: 30 November 2006

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzk026

zbMATH Keywords

algorithmmodel-based diagnosisobservationminimal conflict

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication: Algorithms for Computing Minimal Conflicts