HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:L. Yohanes Stefanus

Publications
The Weak Completion Semantics and Equality
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Sibylle Schwarz and Lim Yohanes Stefanus
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic
L. Yohanes Stefanus and Ario Santoso
In:IWIL 2010. The 8th International Workshop on the Implementation of Logics

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.

Copyright © 2012-2025 easychair.org. All rights reserved.