Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality.

Pilar Dellunde Ramon Jansana

Published in: J. Symb. Log. (1996)

Keyphrases

horn logic
propositional logic
belief change
horn contraction
semi automatic
expressive power
belief revision
bayesian networks
deductive databases
function symbols