scientific article; zbMATH DE number 4178746

zbMATH Open0715.68012MaRDI QIDQ3201746FDOQ3201746

Roberto Barbuti, M. Martelli

Publication date: 1989

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

zbMATH Keywords

abstract interpretationnegation as failure

Mathematics Subject Classification ID

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

Cited In (2)

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

   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 👍 👎

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)