no code implementations • 30 Nov 2013 • Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir
In particular, while the complexity of most reasoning tasks coincides with standard disjunctive ASP, we find that brave reasoning for programs with weak disjunctions is easier.