From Axioms to Analytic Rules in Nonclassical Logics.

Agata Ciabattoni Nikolaos Galatos Kazushige Terui

Published in: LICS (2008)

Keyphrases

expressive power
association rules
first order logic
receptive fields
multi context systems
modal logic
horn clauses
production rules
rule sets
human experts
rule extraction
background knowledge
knowledge base
inference rules
genetic algorithm
attribute values
domain knowledge