The following pages link to Logic Programming (Q5191486):
Displaying 6 items.
- Interval propagation to reason about sets: Definition and implementation of a practical language (Q679421) (← links)
- Logic programming with infinite sets (Q812390) (← links)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
- Automated reasoning with restricted intensional sets (Q2666960) (← links)
- Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates (Q4559801) (← links)
- (Q5087786) (← links)