Modalities Based on Double Negation.

Published in: AGOP (2019)

Keyphrases

logic programs
logic programming
deductive databases
knowledge base
image processing
expert systems
relational databases
predicate logic