conftrace_

bdi agent system

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

true concurrency (1) operational semantics (1) agent programming language (1) design consistency (1) prometheus design (1) bounded subgraph reasoning (1) agent programming (1) multi-agent system (1) concurrent execution (1) automated planning (1)

Papers

An Operational Semantics for True Concurrency in BDI Agent Systems AAAI 2020 Agent Design Consistency Checking via Planning IJCAI 2017