The Weak Completion Semantics and Counterexamples.

Meghna Bhadra Steffen Hölldobler

Published in: FLAP (2023)

Keyphrases

formal semantics
logic programming
learning algorithm
semantic information
transformation rules
database
real time
machine learning
conceptual model
semantic representation
operational semantics
logical language