Double Negation as Minimal Negation.

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

Keyphrases

logic programming
logic programs
deductive databases
containment of conjunctive queries
predicate logic
database
mobile robot
artificial intelligence
information systems
decision making
image processing
decision trees
multi agent
artificial neural networks