Implementing constructive intensional negation

DOI10.1007/S00354-008-0053-9MaRDI QIDQ839831zbMATH OpenOpenAlexFDO

Authors Julio Mariño, Juan José Moreno-Navarro, Susana Muñoz-Hernandez

Publication date 3 September 2009

Published in New Generation Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00354-008-0053-9

zbMATH Keywords

constraint logic programmingconstructive negationintensional negationlogic programming implementationnegationprogram transformation

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Functional and Logic Programming
• scientific article; zbMATH DE number 4033044
• Logic Programming
• Extending constructive logic negation with types
• scientific article; zbMATH DE number 1456952

Cites work

• A kripke-kleene semantics for logic programs*
• A necessary condition for constructive negation in constraint logic programming
• A transformational approach to negation in logic programming
• Constructive negation by pruning
• Efficient negation using abstract interpretation
• First order compiler: A deterministic logic program synthesis algorithm
• scientific article; zbMATH DE number 3958694 (Why is no real title available?)
• scientific article; zbMATH DE number 4033044 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 176121 (Why is no real title available?)
• scientific article; zbMATH DE number 788038 (Why is no real title available?)
• scientific article; zbMATH DE number 1456952 (Why is no real title available?)
• Logic Programming
• Negation and constraint logic programming
• Negation as instantiation
• Negation in logic programming

Cited in

(10)

• On the structure of involutive, contracting and expanding negations
• Notes on constructive negation
• Efficient negation using abstract interpretation
• scientific article; zbMATH DE number 4033044 (Why is no real title available?)
• scientific article; zbMATH DE number 1749146 (Why is no real title available?)
• Extending constructive logic negation with types
• Functional and Logic Programming
• Logic Programming
• Logics in Artificial Intelligence
• Negation and affirmation: the role of involutive negators

Describes a project that uses

Uses Software

• Smodels

This page was built for publication: Implementing constructive intensional negation

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