Decidability, Introduction Rules and Automata.

Gilles Dowek Ying Jiang

Published in: LPAR (2015)

Keyphrases

finite state machines
production rules
genetic algorithm
description logics
cellular automata
finite state
automata theoretic
database
databases
bayesian networks
association rule mining
background knowledge
classification rules
query answering
regular expressions
rule extraction