Author:
Bacchus Fahiem,Katsirelos George
Publisher
Springer International Publishing
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficiently Explaining CSPs with Unsatisfiable Subset Optimization;Journal of Artificial Intelligence Research;2023-11-25
2. Hashing-based approximate counting of minimal unsatisfiable subsets;Formal Methods in System Design;2023-04-19
3. Logic-Based Explainability in Machine Learning;Reasoning Web. Causality, Explanations and Declarative Knowledge;2023
4. Timed Automata Robustness Analysis via Model Checking;Logical Methods in Computer Science;2022-07-29
5. An Incomplete Unsatisfiable Cores Extracting Algorithm to Promote Routing;2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS);2021-12