Non-discriminating Arguments and Their Uses

DOI10.1007/978-3-642-02846-5_10zbMath1251.68055OpenAlexW1518458436MaRDI QIDQ4649724

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)

Related Items (2)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Program Slicing
• Programming Languages and Systems
• Searching Semantically Equivalent Code Fragments in Logic Programs
• Determinacy Analysis for Logic Programs Using Mode and Type Information
• Depth-First Search and Linear Graph Algorithms

This page was built for publication: Non-discriminating Arguments and Their Uses