On the equivalence and range of applicability of graph-based representations of logic programs.

DOI10.1016/S0020-0190(02)00290-9MaRDI QIDQ1853147zbMATH OpenOpenAlexWikidataFDO

Authors Stefania Costantini, Ottavio M. D'Antona, Alessandro Provetti

Publication date 21 January 2003

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0020-0190(02)00290-9

zbMATH Keywords

Graph algorithmsLogic ProgrammingAnswer Set Programming

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Logic programming (68N17)

Recommendations

• Logic for Programming, Artificial Intelligence, and Reasoning
• Graph theoretical structures in logic programs and default theories
• Graph properties for normal logic programs
• scientific article; zbMATH DE number 177436
• On computing logic programs

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1368933 (Why is no real title available?)
• scientific article; zbMATH DE number 1884391 (Why is no real title available?)
• Contributions to the stable model semantics of logic programs with negation
• Extremal problems in logic programming and stable model computation
• Graph theoretical structures in logic programs and default theories
• Normal forms for answer sets programming
• On the Expressibility of Stable Logic Programming
• The expressive powers of the logic programming semantics
• The well-founded semantics for general logic programs
• Transformation-based bottom-up computation of the well-founded model

Cited in

(5)

• Some (in)translatability results for normal logic programs and propositional theories
• Justifications for logic programs under answer set semantics
• Answering the ``why in answer set programming -- a survey of explanation approaches
• On the Expressive Power of Graph Logic
• Logic for Programming, Artificial Intelligence, and Reasoning

This page was built for publication: On the equivalence and range of applicability of graph-based representations of logic programs.

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