Computation theory; Computer circuits; Logic programming; Planning; Semantics

Non-well-founded set based multi-agent action language

As the research in multi-agent domain continues to grow it is becoming more and more important to investigate the agents’ relations in such systems: not only to reason about agents’ perception of the world but also about agents’ knowledge of her and …