Negation disarmed.

Robert K. Meyer

Published in: Notre Dame J. Formal Log. (1976)

Keyphrases

logic programs
logic programming
deductive databases
real time
containment of conjunctive queries
machine learning
database
neural network
case study
relational databases
hidden markov models
horn clauses