Special Seminar: Martin Gebser "Knowledge Representation and Reasoning in Practice"
Department of Computer Science
Map © OpenStreetMap. Some rights reserved.
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.