A Tableau Calculus for Combining Non-disjoint Theories.

Calogero G. Zarba

Published in: TABLEAUX (2002)

Keyphrases

tableau calculus
machine learning
pairwise
artificial intelligence
knowledge base
search algorithm
genetic programming