HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Steffen Hölldobler

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

Keyphrases

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

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