The following pages link to Set based logic programming (Q1029592):
Displaying 5 items.
- My work with Victor Marek: a mathematician looks at answer set programming (Q1028636) (← links)
- Consistency properties and set based logic programming (Q1028650) (← links)
- Set abstraction - an extension of all solutions predicate in logic programming language (Q1094865) (← links)
- Automata and Answer Set Programming (Q3605538) (← links)
- Datalog: Bag Semantics via Set Semantics (Q5091129) (← links)