Functional and Logic Programming
From MaRDI portal
Publication:5308010
DOI10.1007/b96926zbMath1122.68386OpenAlexW2506581943MaRDI QIDQ5308010
Haifeng Guo, C. R. Ramakrishnan, Giridhar Pemmasani, Yifei Dong, 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
Related Items (5)
Precise specification matching for adaptive reuse in embedded systems ⋮ Enablers and Inhibitors in Causal Justifications of Logic Programs ⋮ Justifications for programs with disjunctive and causal-choice rules ⋮ Deriving conclusions from non-monotonic cause-effect relations ⋮ Answering the “why” in answer set programming – A survey of explanation approaches
This page was built for publication: Functional and Logic Programming
