Pages that link to "Item:Q1853147"
From MaRDI portal
The following pages link to On the equivalence and range of applicability of graph-based representations of logic programs. (Q1853147):
Displaying 5 items.
- Justifications for logic programs under answer set semantics (Q3612602) (← links)
- On the Expressive Power of Graph Logic (Q3613359) (← links)
- Some (in)translatability results for normal logic programs and propositional theories (Q3647255) (← links)
- Answering the “why” in answer set programming – A survey of explanation approaches (Q5197747) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705919) (← links)