Searching for "Drawing Updates From Derivations." – sorted by Relevance.
-
Logic Databases and the Meaning of Change
- , and drawing updates from the reasons of failure of the attempts, as e.g., in [To, D2, GL, KM1, KM2
- Add To MetaCart
-
Towards a Logic-Based Reconstruction of Software Configuration Management
- draw updates from derivations by backward-chaining through deduction rules. Papers such as [DECK89, BRY
- Cited by 5 (2 self) – Add To MetaCart

