Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference123 articles.
1. Anytime answer set optimization via unsatisfiable core shrinking;Alviano;Theory Pract. Log. Program.,2016
2. Cautious reasoning in ASP via minimal models and unsatisfiable cores;Alviano;Theory Pract. Log. Program.,2018
3. Disjunctive ASP with functions: decidable queries and effective computation;Alviano;Theory Pract. Log. Program.,2010
4. Plan abstraction based on operator generalization;Anderson,1988
5. Unsatisfiability-based optimization in clasp;Andres,2012
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model Explanation via Support Graphs;Theory and Practice of Logic Programming;2024-02-29
2. Explainable Answer-set Programming;Electronic Proceedings in Theoretical Computer Science;2023-09-12
3. Automated Workflow for Usability Audits in the PHR Realm;International Journal of Environmental Research and Public Health;2022-07-22
4. A survey of knowledge‐based sequential decision‐making under uncertainty;AI Magazine;2022-06
5. Forgetting in Answer Set Programming – A Survey;Theory and Practice of Logic Programming;2021-12-27