Regular Search Spaces and Constructive Negation.

Alberto Momigliano Mario Ornaghi

Published in: J. Log. Comput. (1997)

Keyphrases

search space
logic programs
logic programming
fixpoint
search tree
stable models
design space
expert systems
knowledge representation
evolutionary algorithm
metaheuristic
branch and bound
search strategy
deductive databases
artificial neural networks
artificial intelligence
real time