Pages that link to "Item:Q4592719"
From MaRDI portal
The following pages link to Achievements in answer set programming (Q4592719):
Displaying 6 items.
- Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
- My work with Victor Marek: a mathematician looks at answer set programming (Q1028636) (← links)
- Towards Verifying Logic Programs in the Input Language of clingo (Q5049051) (← links)
- Modular Answer Set Programming as a Formal Specification Language (Q5140013) (← links)
- Answering the “why” in answer set programming – A survey of explanation approaches (Q5197747) (← links)
- Answer set programming made easy (Q6175107) (← links)