no code implementations • 21 Nov 2019 • Jorge Fandinno, Johannes Fichte
This is the Proceedings of the twelfth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2019, which was held in Philadelphia, USA, June 3rd , 2019.
no code implementations • 9 Dec 2018 • Jorge Fandinno, Johannes Fichte
This is the Proceedings of the eleventh Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2018, which was held in Oxford, UK, July 18th, 2018.
1 code implementation • 9 Feb 2017 • Johannes Fichte, Markus Hecher, Michael Morak, Stefan Woltran
Parameterized algorithms are a way to solve hard problems more efficiently, given that a specific parameter of the input is small.
no code implementations • 22 Dec 2016 • Johannes Fichte, Markus Hecher, Michael Morak, Stefan Woltran
While the solution counting problem for propositional satisfiability (#SAT) has received renewed attention in recent years, this research trend has not affected other AI solving paradigms like answer set programming (ASP).