conftrace_

agent programming language

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

bdi agent system (1) true concurrency (1) operational semantics (1) agent-oriented software (1) agent programming (1) multi-agent system (1) symbolic model (1) bdi architecture (1) concurrent execution (1)

Papers

An Operational Semantics for True Concurrency in BDI Agent Systems AAAI 2020 BDI Agent Architectures: A Survey IJCAI 2020