16 citations · 69 across the 11 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.RO2013★ 3 cited
Levels of Integration between Low-Level Reasoning and Task Planning
Esra Erdem, Volkan Patoglu, Peter Schüller
We provide a systematic analysis of levels of integration between discrete high-level reasoning and continuous low-level reasoning to address hybrid planning problems in robotics.…
cs.LO2013★ 2 cited
Eliminating Unfounded Set Checking for HEX-Programs
Thomas Eiter, Michael Fink, Thomas Krennwallner +2
HEX-programs are an extension of the Answer Set Programming (ASP) paradigm incorporating external means of computation into the declarative programming language through so-called e…