Deduced Relevant Types and Constructive Negation.

Norman Y. Foo Anand S. Rao Andrew Taylor Adrian Walker

Published in: ICLP/SLP (1988)

Keyphrases

deductive databases
databases
data mining
logic programming
closely related
neural network
information retrieval
artificial intelligence
information systems
decision making
website
programming language