Logic Programming

DOI10.1007/B99475MaRDI QIDQ5313186zbMATH OpenOpenAlexFDO

Authors T. Linke, Hans Tompits, Stefan Woltran

Publication date 26 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b99475

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Nested expressions in logic programs
• scientific article; zbMATH DE number 25189
• Acyclic logic programs and the completeness of SLDNF-resolution
• scientific article; zbMATH DE number 2090542
• Propositional semantics for disjunctive logic programs

Cited in

(5)

• On the complexity of identifying head-elementary-set-free programs
• scientific article; zbMATH DE number 2090542 (Why is no real title available?)
• Normal form nested programs
• Normal Form Nested Programs
• Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs

Describes a project that uses

Uses Software

• ASSAT

This page was built for publication: Logic Programming

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