Boundedness undecidability for synchronized nets.

Raymond R. Devillers Laurent Van Begin

Published in: Inf. Process. Lett. (2006)

Keyphrases

description logics
sufficient conditions
probabilistic planning
neural network
databases
answering queries
database
search engine
knowledge base
expert systems
special case
heuristic search
query containment