dl2asp

swMATH208MaRDI QIDQ12973

No author found.

Described by source

• dl2asp: Implementing Default Logic via Answer Set Programming

Related Items (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