Author:L. Yohanes Stefanus

Keyphrases

cognitive reasoning, counterfactual reasoning, Definite Clause Grammar, equational reasoning, ethical decision-making, Fluent Calculus, implicational intuitionistic-logic, lambda calculus, logic programming, proof tool, Three-Valued Lukasiewicz Logic, type inhabitant search algorithm, type theory, Weak Completion.