swMATH21358MaRDI QIDQ33166FDOQ33166
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007%2F11591191_8
Cited In (9)
- Semantics and complexity of recursive aggregates in answer set programming
- On the relation among answer set solvers
- Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2--6, 2005. Proceedings
- Conflict-driven answer set solving: from theory to practice
- Enhancing DLV instantiator by backjumping techniques
- Cmodels
- NoMoRe
- Asparagus
- iClingo
This page was built for software: nomore++
