dl2asp

MaRDI QIDQ12973swMATHFDO

Official website doi:10.1007/978-3-642-15675-5_11

Described by source

• \textsf{dl2asp}: implementing default logic via answer set programming

Cited in

(3)

• DeReS
• Automated non-monotonic reasoning in System \textbf{P}
• Well-supported semantics for logic programs with generalized rules

This page was built for software: dl2asp