Logic Continuations.

Christopher T. Haynes

Published in: ICLP (1986)

Keyphrases

neural network
social networks
predicate logic
logic programming
modal logic
databases
information retrieval
decision making
knowledge base
search algorithm
artificial neural networks
probabilistic logic
logical framework
digital circuits
epistemic logic