scientific article; zbMATH DE number 1149404

zbMATH Open0900.68131MaRDI QIDQ4386923FDOQ4386923

Authors: Daniele Gunetti, U. Trinchero, Francesco Bergadano 

Publication date: 10 May 1998

Title of this publication is not available (Why is that?)

Recommendations

• Proving completeness of logic programs with the cut
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• The witness properties and the semantics of the Prolog cut
• Pac-learning non-recursive Prolog clauses
• Induction of Constraint Logic Programs

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (1)

• Title not available (Why is that?)

This page was built for publication:

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