Implementing constructive intensional negation

DOI10.1007/s00354-008-0053-9zbMath1191.68151OpenAlexW2094537655MaRDI QIDQ839831

Juan José Moreno-Navarro, Julio Mariño, 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

program transformationnegationconstraint logic programmingconstructive negationintensional negationlogic programming implementation

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• Smodels

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A necessary condition for constructive negation in constraint logic programming
• First order compiler: A deterministic logic program synthesis algorithm
• Negation and constraint logic programming
• Negation as instantiation
• Efficient Negation Using Abstract Interpretation
• A kripke-kleene semantics for logic programs*
• Negation in logic programming
• Constructive negation by pruning
• A transformational approach to negation in logic programming
• Logic Programming

This page was built for publication: Implementing constructive intensional negation