News

V.S. Subrahmanian in Clausthal

From 13-15 April V.S. Subrahmanian is visiting our group and giving a talk in our departemental series.

Oberseminar

Date:  Tuesday, 12.04.2011, at 14:00 o'clock
Place: Room SR210, Am Regenbogen 15.

Speaker: Mihnea Muraru and Matei Popovici
Title: Temporal Reasoning with Fluid Qualities

Abstract: Current temporal modeling methods use first-order logic as a carrier for representing and reasoning about time-dependent knowledge. Alternatively, we introduce an approach focused on a graph-based data structure, which we call a hypergraph. Its purpose is to capture the evolution of a modeled domain, its properties and the events that change them. Based on our method, we introduce a declarative language, similar to CLIPS, that allows the specification of temporal behavior. We illustrate the applicability of our method and language for defining intelligent, time-dependent device behavior, in smart homes.

Federico at DALT Spring School

Federico attends the DALT Spring School in Bertinoro, Italy.

Friends from Romania

Matei Popovici and Mihnea Muraru, both teaching assistants at the Computer Science Department of Politehnica University of Bucharest, visit for an PhD internship. The will stay for approximately 4 months.

Seminar Meeting

Scheduled 5. April 2011 from 15:00 to 16:00.

Nils in Groningen

Nils is in Groningen to strengthen our collaboration with the Department of Artificial Intelligence at the Faculty of Mathematics and Natural Sciences at University of Groningen.

He will give a talk on "Model Checking Strategic Logics for Resource-Bounded Agents
".