Extension of PDL and consequence relations.

Published in: Symposium on Computation Theory (1984)

Keyphrases

efficient implementation
data sets
information retrieval
genetic algorithm
search engine
decision trees
database systems
image sequences
multi agent
mobile robot