Action and Knowledge in Alternating-Time Temporal Logic.

Thomas Ågotnes

Published in: Synth. (2006)

Keyphrases

knowledge base
cooperative
state space
action recognition
alternating time temporal logic