conftrace_

agent programming

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

operational semantics (2) temporal logic synthesis (1) first-order action theories (1) bdi agent system (1) true concurrency (1) agent programming language (1) cognitive agent (1) plan language (1) agent program (1) nondeterministic environment (1)

Papers

LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments AAAI 2025 An Operational Semantics for True Concurrency in BDI Agent Systems AAAI 2020 An Operational Semantics for a Fragment of PRS IJCAI 2018 Omniscient Debugging for GOAL Agents in Eclipse (Demonstration) IJCAI 2017