Safe Stratified Datalog with Integer Order Programs.

Peter Z. Revesz

Published in: CP (1995)

Keyphrases

search algorithm
artificial intelligence
database
objective function
query answering
data complexity