The following pages link to On computing logic programs (Q5961490):
Displaying 11 items.
- Graph theoretical structures in logic programs and default theories (Q672050) (← links)
- Solving problems on finite concrete logics with the help of a PC (Q1266019) (← links)
- Extending and implementing the stable model semantics (Q1603743) (← links)
- (Q3070759) (← links)
- (Q3827989) (← links)
- (Q4244295) (← links)
- On the Floyd–Warshall algorithm for logic programs (Q4719377) (← links)
- (Q4817211) (← links)
- (Q4940937) (← links)
- Role of logic programming in the FGCS project (Q5096224) (← links)
- Answering the “why” in answer set programming – A survey of explanation approaches (Q5197747) (← links)