Logic Programming

DOI10.1007/B99475MaRDI QIDQ5313181zbMATH OpenOpenAlexFDO

Authors Patrick Caldon, Éric Martin

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) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• scientific article; zbMATH DE number 2090531
• scientific article; zbMATH DE number 52709
• Negation as instantiation
• Tabled evaluation with delaying for general logic programs
• scientific article; zbMATH DE number 3872640

Cited in

(6)

• Resolution-limited measure and dimension
• Basic research problems: The problem of strategy and hyperresolution
• Unfolding for CHR programs
• scientific article; zbMATH DE number 2090531 (Why is no real title available?)
• On the Capacity of the Precision-Resolution System
• Absolute versus probabilistic classification in a logical setting

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 Q5313181)