| ||||
| ||||
![]() Title:Constrained Default Logic Programming Conference:ASPOCP 2022 Tags:answer set programming, constrained default logic and logic program splitting Abstract: This paper develops a new formalism CDLP by combining ASP and constrained default logic to facilitate modeling questions with incomplete information, such that both Reiter's defaults and constraint defaults can be represented directly. After that, a method to split the CDLP programs is proposed by extending the notion of splitting sets to accommodate its property of constraint nonmonotonicity. Finally, we design a primary algorithm for solving the CDLP programs. Constrained Default Logic Programming ![]() Constrained Default Logic Programming | ||||
Copyright © 2002 – 2025 EasyChair |