Author:Steffen Hölldobler

Keyphrases

cognitive reasoning, counterfactual reasoning, equational reasoning, ethical decision-making, Fluent Calculus, logic programming, Three-Valued Lukasiewicz Logic, Weak Completion.