MMAug, 2021

利用增量式答案集求解在基于假设的论证中进行推理

TL;DR本文研究了基于假设的论证(ABA)中逻辑编程碎片中比第二层多项式分层难度的理性推理和优先推理问题的有效算法,利用增量 ASP 求解器中的非平凡反例引导的抽象精化程序。