Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity

DOI10.3233/FI-2020-1924zbMath1471.68049OpenAlexW3014989975MaRDI QIDQ5134279

Thom Frühwirth

Publication date: 16 November 2020

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2020-1924

zbMATH Keywords

confluencelogic programmingcomputational logicrule-based programmingtruth maintenanceconstraint deletionsource-to-source program transformation

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Logic programming (68N17)

Related Items (1)

Nonground Abductive Logic Programming with Probabilistic Integrity Constraints

Uses Software

• CHR.js

This page was built for publication: Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity