The following pages link to (Q4955336):
Displaying 6 items.
- LUPS (Q15118) (← links)
- LUPS -- A language for updating logic programs (Q1603734) (← links)
- A language for multi-dimensional updates (Q2844914) (← links)
- Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases (Q4323002) (← links)
- (Q4736478) (← links)
- Dynamic Reasoning Systems (Q5277897) (← links)