scientific article; zbMATH DE number 4178746

zbMATH Open0715.68012MaRDI QIDQ3201746FDOQ3201746

Authors: Roberto Barbuti, M. Martelli 

Publication date: 1989

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

Recommendations

• RECOGNIZING NON-FLOUNDERING LOGIC PROGRAMS AND GOALS
• Transforming floundering into success
• Negation as failure as resolution
• A transformational approach to negation in logic programming
• Negation as instantiation

zbMATH Keywords

abstract interpretationnegation as failure

Mathematics Subject Classification ID

Logic programming (68N17) Theory of compilers and interpreters (68N20)

Cited In (3)

• Transforming floundering into success
• An extended constraint deductive database: theory and implementation
• Proof methods of declarative properties of definite programs

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