dl2asp

swMATH208MaRDI QIDQ12973FDOQ12973

Author name not available (Why is that?)

Described by source

• dl2asp: Implementing Default Logic via Answer Set Programming

Cited In (2)

• Well-Supported Semantics for Logic Programs with Generalized Rules
• Automated non-monotonic reasoning in System \textbf{P}

This page was built for software: dl2asp