Login / Signup
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic.
Richard Booth
Thomas Meyer
Ivan José Varzinczak
Renata Wassermann
Published in:
CoRR (2014)
Keyphrases
</>
horn contraction
horn logic
propositional logic
belief change
kernel function
support vector
first order logic
expert systems
belief revision
knowledge representation
feature space
state space