The Weak Completion Semantics and Counter Examples - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Meghna Bhadra, Steffen Hölldobler. The Weak Completion Semantics and Counter Examples. In Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm, editors, Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021. Volume 2961 of CEUR Workshop Proceedings, pages 60-73, CEUR-WS.org, 2021. [doi]

The following publications are possibly variants of this publication:

The Weak Completion SemanticsEmmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Isabelly Lourêdo Rocha. cogsci 2017: 18-30 [doi]

The Weak Completion Semantics and EqualityEmmanuelle-Anna Dietz, Steffen Hölldobler, Sibylle Schwarz, L. Yohanes Stefanus. lpar 2018: 326-342 [doi]

The Weak Completion Semantics and CounterexamplesMeghna Bhadra, Steffen Hölldobler. flap, 10(2):121-154, 2023. [doi]

runs on WebDSL