Logic programming and nonmonotonic reasoning. 12th international conference, LPNMR 2013, Corunna, Spain, September 15--19, 2013. Proceedings
From MaRDI portal
(Redirected from Publication:368050)
Cited in
(8)- Dynamic reasoning systems
- claspfolio2: Advances in Algorithm Selection for Answer Set Programming
- Disjunctive answer set solvers via templates
- Hybrid metabolic network completion
- Logic programming and nonmonotonic reasoning. 5th international conference, LPNMR '99. El Paso, TX, USA, December 2--4, 1999. Proceedings
- {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
- Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings
- Optimal scheduling for exposed datapath architectures with buffered processing units by ASP
This page was built for publication: Logic programming and nonmonotonic reasoning. 12th international conference, LPNMR 2013, Corunna, Spain, September 15--19, 2013. Proceedings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q368050)