Classical Negation can be Expressed by One of its Halves.

Jean-Yves Béziau

Published in: Log. J. IGPL (1999)

Keyphrases

deductive databases
logic programs
real world
hidden markov models
database
three dimensional
database systems
data structure
multiresolution
expressive power