Seminar by Dr. Sitar Kortik

Seminar by Dr. Sitar Kortik

Dr. Sitar Kortik will give a seminar on “Linear Planning Logic And Linear Logic Graph Planner: Domain Independent Task Planners Based On Linear Logic”, on November 2nd, 2017, at 14:00, in the department meeting hall.

You can see the event details at Seminar by Dr. Sitar Kortik!