IJCNN-2011 Tutorial. Dynamic Logic. Algorithms and Cognition

DYNAMIC LOGIC
a process-logic: from vague to crisp (.ppt)

IJCNN-2011 Tutorial. Dynamic Logic. Algorithms and Cognition