The Weak Completion Semantics and Counter Examples.

Meghna Bhadra Steffen Hölldobler

Published in: FCR@KI (2021)

Keyphrases

counter examples
formal semantics
semantic information
logic programs
logic programming
conceptual model
answer sets
logical language