Special Seminar: Martin Gebser "Knowledge Representation and Reasoning in Practice"

2018-05-22 14:15:00 2018-05-22 15:15:00 Europe/Helsinki Special Seminar: Martin Gebser "Knowledge Representation and Reasoning in Practice" Department of Computer Science http://cs.aalto.fi/en/midcom-permalink-1e84a15aa06c6444a1511e8b9489b0cace7caaccaac Maarintie 8, 02150, Espoo

Department of Computer Science

22.05.2018 / 14:15 - 15:15
room 1171-72, Maarintie 8, 02150, Espoo, FI

Tuesday 22.5.2018 at 14:15 in TUAS 1171-72, Maarintie 8

Martin Gebser

Title: Knowledge Representation and Reasoning in Practice

Martin Gebser is a postdoctoral researcher at the University of Potsdam, Germany. His research interests include theoretical and practical aspects of declarative problem solving methods. In particular, Martin contributes to the development of state-of-the-art solving systems in answer set programming and related areas. He gathered practical expertise in knowledge representation and reasoning technology by working on applications in systems biology, system synthesis, configuration, etc. Martin serves the scientific community as area editor for Implementation of the ALP Newsletter and co-chaired two editions of the ICLP doctoral consortium, an LPNMR 2017 workshop, as well as recent editions of the answer set programming system competition.