Author:Konstantin Schekotihin
KeyphrasesASP, difference logic, Knowledge base debugging, measurement selection, model-based diagnosis, Multi-shot solving, Problem reduction, query generation, Scheduling, sequential diagnosis. |
| |||||
Copyright © 2012-2024 easychair.org. All rights reserved. |