The following pages link to (Q4473152):
Displaying 5 items.
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (Q1039575) (← links)
- Arity bounds in first-order incremental evaluation and definition of polynomial time database queries (Q1278038) (← links)
- Incremental recomputation in local languages. (Q1401928) (← links)
- (Q4473258) (← links)
- Logic Programming (Q5313187) (← links)