Cut-Free ExpTime Tableaux for Converse-PDL Extended with Regular Inclusion Axioms.

Linh Anh Nguyen

Published in: KES-AMSTA (2013)

Keyphrases

first order logic
upper bound
knowledge base
description logics
functional dependencies
machine learning
learning algorithm
data sets
search algorithm
special case
modal logic