A Tableau Calculus for Regular Grammar Logics with Converse.

Linh Anh Nguyen Andrzej Szalas

Published in: CADE (2009)

Keyphrases

tableau calculus
description logics
context free
knowledge base
context free grammars
grammatical inference
natural language
minimal models
knowledge representation
expressive power
decision trees
relational databases
decision rules