Counting in Team Semantics.

Erich Grädel Stefan Hegselmann

Published in: CSL (2016)

Keyphrases

formal semantics
agent oriented programming language
semantic information
team members
operational semantics
real time
website
information technology
mobile robot
logic programming
active rules
speech acts
collective learning
proof theory