The Weak Completion Semantics and Equality.

Emmanuelle-Anna Dietz Steffen Hölldobler Sibylle Schwarz L. Yohanes Stefanus

Published in: LPAR (2018)

Keyphrases

database query languages
logic programming
formal semantics
logic programs
neural network
logical language
update semantics
multi agent
xml documents
semantic information
active rules