scientific article; zbMATH DE number 6261542

DOI10.4230/LIPIcs.ICLP.2012.222zbMath1281.68150MaRDI QIDQ5398061

Jörg Pührer, Hans Tompits, Johannes Oetsch

Publication date: 25 February 2014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

disjunctionanswer-set programmingaggregatesabstract constraints

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)

Related Items (2)

Stepwise debugging of answer-set programs ⋮ Answering the “why” in answer set programming – A survey of explanation approaches

This page was built for publication: