Graphs and colorings for answer set programming

DOI10.1017/S1471068405002528zbMath1109.68081OpenAlexW2166174694MaRDI QIDQ3426201

Torsten Schaub, T. Linke, Kathrin Konczak

Publication date: 8 March 2007

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068405002528

zbMATH Keywords

operational semanticsanswer set programminganswer set computationgraph-based characterization

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (7)

Labellings for assumption-based and abstract argumentation ⋮ Unnamed Item ⋮ Parallel Logic Programming: A Sequel ⋮ ASPeRiX, a first-order forward chaining approach for answer set computing ⋮ Unnamed Item ⋮ Answering the “why” in answer set programming – A survey of explanation approaches ⋮ Justifications for logic programs under answer set semantics

Uses Software

• ASSAT
• Smodels
• NoMoRe

This page was built for publication: Graphs and colorings for answer set programming