A Rewrite Mechanism for Logic Programs with Negation.

Siva Anantharaman Gilles Richard

Published in: Theor. Comput. Sci. (1998)

Keyphrases

logic programs with negation
logic programs
data mining
computational model
stable models
selection mechanism
neural network
machine learning
artificial intelligence
information systems
decision trees
relational databases
hidden markov models
learning mechanism