scientific article; zbMATH DE number 1407680
From MaRDI portal
Publication:4940935
zbMATH Open0944.68049MaRDI QIDQ4940935
Dietmar Seipel, Carolina Ruiz, Jack Minker
Publication date: 28 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Complexity results for answer set programming with bounded predicate arities and implications ⋮ Implementing Prioritized Circumscription by Computing Disjunctive Stable Models ⋮ Partial equilibrium logic
This page was built for publication:
