Boolean negation and non-conservativity II: The variable-sharing property.

Tore Fjetland Øgaard

Published in: Log. J. IGPL (2021)

Keyphrases

real valued
logic programming
logic programs
boolean functions
neural network
learning algorithm
information systems
data structure
information sharing
knowledge sharing
desirable properties
information retrieval
search algorithm
knowledge representation
horn clauses