dl2asp

swMATH208MaRDI QIDQ12973FDOQ12973

Author name not available (Why is that?)

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)

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

This page was built for software: dl2asp