News

Informal Group Meeting

Informal Group Meeting We will meet to speak about Ilkka Niemelä's ,,Bounded Model Checking using Answer Set Programming''.

Dr. Sebastian Sardina visits IFI

Dr. Sebastian Sardina visits IFI This week Dr. Sebastian Sardina from RMIT University Melbourne, Australia pays us a visit. We wish him an enjoyable stay in Clausthal and give him a hearty welcome!

Informal Group Meeting

Informal Group Meeting Yesterday we had our first informal group meeting, speaking about HTN planning and BDI agents. The next meeting is scheduled for 03.07.2006