Wednesday, Jan 15, 2020

Our paper on Macro Operator Synthesis for ADL Domains has been accepted at ECAI'2020.

Wednesday, Jan 8, 2020

Tarik Viehmann will present his master’s thesis on Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints on Fri, January 17, 2020, 11:00.

Friday, Dec 6, 2019

Mostafa Gomaa will give a master’s thesis proposal talk about Centralized Goal Reasoning and Scheduling Using Mixed Integer Programming for Logistics Robots on Wed, December 11, 2019, 10:15.

Thursday, Mar 1, 2012

The Deutsche Forschungsgemeinschaft (DFG) established the Research Unit Hybrid Reasoning for Intelligent Systems on February 9, 2012 (press release). Prof. Gerhard Lakemeyer, Ph.D., is the coordinator and speaker of the new research unit (members of the research unit). Knowledge Representation and Reasoning (KR&R) and, in particular, reasoning about actions, their effects and the environment in which actions take place, is fundamental for intelligent behaviour and has been a central concern in Artificial Intelligence from the beginning.

Tuesday, Feb 28, 2012

Stefan Schiffer, Niklas Hoppe, and Gerhard Lakemeyer received the Best Student Paper Award at the International Conference on Agents and Artifical Intelligence (ICAART 2012) in Vilamoura, Portugal for their paper “Flexible Command Interpretation on an Interactive Domestic Service Robot”.

Saturday, Feb 9, 2008

We’ll have the introductory meeting for the Seminar Markovian Robotics in the seminar room of I5. Participation is mandatory for all seminarists.

Saturday, Feb 9, 2008

The preliminary discussion for the Proseminar Artificial Intelligence takes place on February 11, 2008, 15h00 in the Seminar room of Computer Science 5.