Set Abstraction - An Extension of All Solutions Predicate in Logic Programming Language.

Takashi Yokomori

Published in: New Gener. Comput. (1987)

Keyphrases

logic programming language
artificial intelligence
database
high level
optimal solution
logic programming
solution space
databases
image sequences
search space
probabilistic model
probability distribution
general purpose
np complete
horn clauses