Negation as a modality in a quantified setting.

Stanislav O. Speranski

Published in: J. Log. Comput. (2021)

Keyphrases

multi modal
logic programming
medical images
logic programs
data sets
image processing
query processing
answer set programming
derivation rules