Functional and Logic Programming

DOI10.1007/B96926MaRDI QIDQ5308010zbMATH OpenOpenAlexFDO

Authors Giridhar Pemmasani, Haifeng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan

Publication date 25 September 2007

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

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

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 2085275
• Justifications for Logic Programs Under Answer Set Semantics
• Justifications for logic programs under answer set semantics
• Justifications for logic programming
• scientific article; zbMATH DE number 7121940

Cited in

(8)

• Enumerating justifications using resolution
• Precise specification matching for adaptive reuse in embedded systems
• Justifications for logic programming
• Justifications for programs with disjunctive and causal-choice rules
• Deriving conclusions from non-monotonic cause-effect relations
• scientific article; zbMATH DE number 2085275 (Why is no real title available?)
• Answering the ``why in answer set programming -- a survey of explanation approaches
• Justifications for Logic Programs Under Answer Set Semantics

This page was built for publication: Functional and Logic Programming

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