conftrace_

bounded subgraph reasoning

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

design consistency (1) prometheus design (1) bdi agent system (1) automated planning (1)

Papers

Agent Design Consistency Checking via Planning IJCAI 2017