Searching for "Drawing Updates From Derivations." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Logic Databases and the Meaning of Change
by Jorge Bocca, Hendrik Decker, Michael Kifer, Andrei Voronkov — 1996
…, 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
by Matthias Jarke, Manfred Jeusfeld, Lehrstuhl Informatik, Michael Gocek, Andreas Miethsam — 1992 — In Proc. of the seventh Knowledge-Based Software Engineering Conference
… draw updates from derivations by backward-chaining through deduction rules. Papers such as [DECK89, BRY…
Cited by 5 (2 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB