Connexive Negation.

Luis Estrada-González Ricardo Arturo Nicolás-Francisco

Published in: Stud Logica (2024)

Keyphrases

logic programs
logic programming
deductive databases
machine learning
data model
containment of conjunctive queries
compositional semantics
genetic algorithm
search engine
search algorithm
query processing
horn clauses
predicate logic