~/talk

PAARL: An Interactive System for Policy-Aware Planning in Autonomous Agents(…)

Talkat LOPSTR+PPDP 2026 · 2026-08-27..08-29· [robotics]
links:none on file
links:none on file
slides:none on file

PAARL implements an interactive AAA loop using Answer Set Programming with Clingo and a Python controller plus GUI to plan under authorization/obligation policies encoded in AOPL. The prototype plans a self‑driving car from location 5 to 10, quantifies violations (speeding incurred 3‑point penalties per event, total 18 penalty points), and replans when a school bus observation at time step 2 forces a stop, raising completion time 35 -> 37.

AI-written summary · about

  1. 0:00PAARL system intro
  2. 1:03Autonomous agents basics
  3. 2:10Planning and ASP basics
  4. 4:59Policies and compliance
  5. 6:47Penalties in violations
  6. 9:01PAARL design and contributions
  7. 12:09System architecture
  8. 13:14Agent behavior differences
  9. 15:42Dynamic domain injection
  10. 18:23Live PAARL demo
  11. 21:36Key takeaways and future
  12. 23:01Q&A
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.