Modal Horn Classes.

Published in: Stud Logica (2000)

Keyphrases

np hard
neural network
artificial intelligence
computer vision
modal logic
databases
machine learning
information retrieval
computational complexity
expert systems