Our paper on Macro Operator Synthesis for ADL Domains has been accepted at ECAI'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.
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.
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.
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”.
We'll have the introductory meeting for the Seminar Markovian Robotics in the seminar room of I5. Participation is mandatory for all seminarists.
The preliminary discussion for the Proseminar Artificial Intelligence takes place on February 11, 2008, 15h00 in the Seminar room of Computer Science 5.