Compatible Functions in Algebras Associated to Extensions of Positive Logic.

Rodolfo C. Ertola Adriana Galli Marta Sagastume

Published in: Log. J. IGPL (2007)

Keyphrases

positive and negative
logic programming
multi valued
boolean algebra
classical logic
relation algebra
neural network
knowledge representation formalisms
real time
artificial intelligence
basis functions
efficient implementation
computational properties
distributive lattices