BriefGPT.xyz
Nov, 2018
扩展 WASP 的外部接口
The External Interface for Extending WASP
HTML
PDF
Carmine Dodaro, Francesco Ricca
TL;DR
本文提供了扩展基于CDCL的ASP求解器WASP的接口,既通用又外部,且可以成功地用于解决实际和合成问题的难例。
Abstract
answer set programming
(ASP) is a successful declarative formalism for knowledge representation and reasoning. The evaluation of ASP programs is nowadays based on the
conflict-driven clause learning
(CDCL) backtr
→