Adding partial functions to Constraint Logic Programming with sets

DOI10.1017/S1471068415000290zbMath1379.68053arXiv1507.06852OpenAlexW3103318063WikidataQ57840329 ScholiaQ57840329MaRDI QIDQ4593005

Claudia Frydman, Maximiliano Cristiá, Gianfranco Rossi

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1507.06852

zbMATH Keywords

logpartial functionsset theoryCLP

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items (3)

Automated reasoning with restricted intensional sets ⋮ Unnamed Item ⋮ Solving quantifier-free first-order constraints over finite sets and binary relations

Uses Software

• Alloy
• Z
• SETL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interval propagation to reason about sets: Definition and implementation of a practical language
• {log}: A language for programming in logic with finite sets
• The B-Book

This page was built for publication: Adding partial functions to Constraint Logic Programming with sets