Graphs and colorings for answer set programming

DOI10.1017/S1471068405002528MaRDI QIDQ3426201zbMATH OpenOpenAlexFDO

Authors Kathrin Konczak, T. Linke, Torsten Schaub

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

answer set computationanswer set programminggraph-based characterizationoperational semantics

Mathematics Subject Classification ID

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

Recommendations

• Logic Programming and Nonmonotonic Reasoning
• scientific article; zbMATH DE number 2063029
• scientific article; zbMATH DE number 1765678
• scientific article; zbMATH DE number 1884404
• scientific article; zbMATH DE number 1931689

Cited in

(12)

• Labellings for assumption-based and abstract argumentation
• Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring
• Justifications for logic programs under answer set semantics
• scientific article; zbMATH DE number 2063029 (Why is no real title available?)
• {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
• scientific article; zbMATH DE number 1931689 (Why is no real title available?)
• Distributed answer set coloring: stable models computation via graph coloring
• Answering the ``why in answer set programming -- a survey of explanation approaches
• scientific article; zbMATH DE number 7121940
• Logic Programming and Nonmonotonic Reasoning
• Logic for Programming, Artificial Intelligence, and Reasoning
• Parallel Logic Programming: A Sequel

Describes a project that uses

Uses Software

• Smodels
• ASSAT
• NoMoRe

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3426201)