- Tytuł:
- Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms : Theory, Implementations, and Complexity
- Autorzy:
- Frühwirth, Thom
- Data publikacji:
- 2020
- Słowa kluczowe:
-
computational logic
confluence
constraint deletion
logic programming
rule-based programming
source-to-source program transformation
truth maintenance - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł