Pages that link to "Item:Q1603734"
From MaRDI portal
The following pages link to LUPS -- A language for updating logic programs (Q1603734):
Displaying 10 items.
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- Naturalizing logic (Q2018606) (← links)
- Computational methods for database repair by signed formulae (Q2502158) (← links)
- A language for multi-dimensional updates (Q2844914) (← links)
- EVOLP: Tranformation-Based Semantics (Q3602944) (← links)
- Putting logic-based distributed systems on stable grounds (Q4593035) (← links)
- (Q4736478) (← links)
- (Q4955336) (← links)
- Multi-shot ASP solving with clingo (Q5197744) (← links)
- Dynamic Reasoning Systems (Q5277897) (← links)