conftrace_

plan language

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

operational semantics (1) agent programming (1) formal semantics (1) expressive power (1) bdi agents (1)

Papers

An Operational Semantics for a Fragment of PRS IJCAI 2018