The Undecidability of k-Provability.

Published in: Ann. Pure Appl. Log. (1991)

Keyphrases

description logics
probabilistic planning
answering queries
information retrieval
genetic algorithm
decision making
knowledge base
multi agent
control system
end users
query containment