Selected Ideas Used for Decidability and Undecidability of Bisimilarity.

Published in: Developments in Language Theory (2008)

Keyphrases

description logics
query answering
query containment
real world
machine learning
website
similarity measure
reinforcement learning
knowledge integration
decision procedures