The following pages link to Logic programming with sets (Q909435):
Displaying 14 items.
- Interval propagation to reason about sets: Definition and implementation of a practical language (Q679421) (← links)
- Negation in rule-based database languages: A survey (Q753476) (← links)
- Logic programming with infinite sets (Q812390) (← links)
- Logic programming with sets (Q909435) (← links)
- Safety, domain independence and translation of complex value database queries (Q1031675) (← links)
- Set abstraction - an extension of all solutions predicate in logic programming language (Q1094865) (← links)
- Well-founded semantics and stratification for ordered logic programs (Q1313371) (← links)
- On the monotonicity of (LDL) logic programs with set. (Q1353958) (← links)
- {log}: A language for programming in logic with finite sets (Q3129506) (← links)
- Ordered Logic Programming with Sets (Q4286210) (← links)
- (Q4385449) (← links)
- Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates (Q4559801) (← links)
- The Relationlog system prototype (Q4791100) (← links)
- Constructive negation and constraint logic programming with sets (Q5945160) (← links)
