Axiomatization of the De Morgan type rules.

Burghard Herrmann Wolfgang Rautenberg

Published in: Stud Logica (1990)

Keyphrases

rule sets
situation calculus
social networks
feature selection
web services
production rules
rule learning
heuristic rules
machine learning
bayesian networks
data structure
rough sets
background knowledge
classification rules
rule generation