Constructive negation and constraint logic programming with sets

DOI10.1007/BF03037598zbMath0980.68017OpenAlexW2027993053MaRDI QIDQ5945160

Agostino Dovier, Enrico Pontelli, Gianfranco Rossi

Publication date: 10 October 2001

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

Full work available at URL: https://doi.org/10.1007/bf03037598

zbMATH Keywords

constraint satisfaction algorithmconstructive negation technique

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Automated reasoning with restricted intensional sets ⋮ Constructive negation and constraint logic programming with sets ⋮ Unnamed Item

Cites Work

• What is failure? An approach to constructive negation
• Negation and constraint logic programming
• Matching of bounded set terms in the logic language LDL++
• {log}: A language for programming in logic with finite sets
• Set constructors in a logic database language
• Negation in logic programming
• An Efficient Unification Algorithm
• Logic programming and negation: A survey
• A transformational approach to negation in logic programming
• A practical framework for theabstract interpretation of logic programs
• A system of axiomatic set theory—Part I
• Constructive negation and constraint logic programming with sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item