Non-discriminating arguments and their uses

DOI10.1007/978-3-642-02846-5_10MaRDI QIDQ4649724zbMATH OpenOpenAlexFDO

Authors Henning Christiansen, John P. Gallagher

Publication date 13 November 2012

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://rucforsk.ruc.dk/ws/files/3785948/paper.pdf

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Programming Languages and Systems
• Transformations of logic programs with goals as arguments
• A backward slicing algorithm for Prolog
• Derivation of efficient logic programs by specialization and reduction of nondeterminism
• scientific article; zbMATH DE number 3956406

Cites work

• scientific article; zbMATH DE number 3978439 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 1354157 (Why is no real title available?)
• scientific article; zbMATH DE number 1753155 (Why is no real title available?)
• Control generation by program transformation
• Depth-First Search and Linear Graph Algorithms
• Determinacy Analysis for Logic Programs Using Mode and Type Information
• Program Slicing
• Programming Languages and Systems
• Searching Semantically Equivalent Code Fragments in Logic Programs

Cited in

(2)

• Inference with constrained hidden Markov models in PRISM
• The PITA system: tabling and answer subsumption for reasoning under uncertainty

This page was built for publication: Non-discriminating arguments and their uses

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