Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity
From MaRDI portal
Publication:5134279
DOI10.3233/FI-2020-1924zbMath1471.68049OpenAlexW3014989975MaRDI QIDQ5134279
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
confluencelogic programmingcomputational logicrule-based programmingtruth maintenanceconstraint deletionsource-to-source program transformation
Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Logic programming (68N17)
Related Items (1)
Uses Software
This page was built for publication: Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity