Infima of recursively enumerable truth table degrees.

Peter A. Fejer Richard A. Shore

Published in: Notre Dame J. Formal Log. (1988)

Keyphrases

truth table
recursively enumerable
defeasible logic
inductive inference
boolean functions
recursive functions
real valued functions
dnf formulas
hypothesis space
legal reasoning
machine learning
active learning
logic programs
log log