The Weak Completion Semantics and Counter Examples

Meghna BhadraMeghna Bhadra, Steffen HölldoblerSteffen Hölldobler

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

Details
Bibtex

Forschungsgruppe:Research Group: Computational LogicComputational Logic

@inproceedings{DBLP:conf/ki/BhadraH21,
  author       = {Meghna Bhadra and
                  Steffen H{\"{o

lldobler},

 editor       = {Christoph Beierle and
                 Marco Ragni and
                 Frieder Stolzenburg and
                 Matthias Thimm},
 title        = {The Weak Completion Semantics and Counter Examples},
 booktitle    = {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},
 series       = {{CEUR} Workshop Proceedings},
 volume       = {2961},
 pages        = {60--73},
 publisher    = {CEUR-WS.org},
 year         = {2021},
 url          = {https://ceur-ws.org/Vol-2961/paper\_6.pdf},
 timestamp    = {Fri, 10 Mar 2023 16:22:53 +0100},
 biburl       = {https://dblp.org/rec/conf/ki/BhadraH21.bib},
 bibsource    = {dblp computer science bibliography, https://dblp.org}

} }}