Subatomic Negation.

Bartosz Wieckowski

Published in: J. Log. Lang. Inf. (2021)

Keyphrases

logic programs
logic programming
deductive databases
containment of conjunctive queries
neural network
multiscale
compositional semantics
case study
lower bound
fixpoint