An early-stage logic-programming planner using s(CASP) and dependency graph pruning is reported to cut task planning time from hours to under a second in a small simulated environment.
Computer Science Review 40, p
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.LO 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
Autonomous Task Completion Based on Goal-directed Answer Set Programming
An early-stage logic-programming planner using s(CASP) and dependency graph pruning is reported to cut task planning time from hours to under a second in a small simulated environment.