Steven has a Master of Computer Science at the Trier University of Applied Sciences and is currently a Research assistant at the University of Hagen in the area of knowledge based systems.
Talks I've Given
Commonsense Reasoning using Haskell
Featuring Steven Kutsch
When reasoning based on a set of sentences of the form "if A then usually B", classical logical system will not suffice. The use of ranking functions, that assign a degree of implausibility to every possible world is a popular approach to allow plausible relationships as logical...haskell haskell-x knowledge-representation logic system-z conditionals declarative-programming