We would like to announce the schedule for Seminar Reboan which is being held on:
|Date||:||Wednesday, 13 February 2019
|Time||:||1:00 – 3:00 PM
|Location||:||Room 1213, Building A 2nd floor, Fasilkom UI Depok
|Topic||:||Human Reasoning and the Weak Completion Semantics with Equality|
|Speaker||:||Prof. Steffen Hölldobler (International Center for Computational Logic, Technische Universität Dresden, Germany)|
He is a professor for Knowledge Representation and Reasoning in the Computer Science Department at the Technische Universität Dresden, Germany. His research interests include logic and deduction, logic programming, knowledge representation and reasoning, cognitive theory as well as connectionism.
The weak completion semantics is a novel and computable cognitive theory. It is based on ideas from logic programming, non-monotonic knowledge representation and reasoning, and skeptical abduction. In the talk I will introduce the weak completion semantics, extend it with equality, and show how this extension can be applied to moral decision making.
Should you be interested in participating, please register (RSVP) with this form: http://bit.ly/RegisKegiatanFasilkom
The detail information, you can ask to email: firstname.lastname@example.org