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 programmingoperational semanticsanswer set computationgraph-based characterization

Mathematics Subject Classification ID

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

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)

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

Describes a project that uses

Uses Software

• NoMoRe
• Smodels
• ASSAT

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)