Login / Signup

On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic.

Richard BoothThomas Andreas MeyerIvan José VarzinczakRenata Wassermann
Published in: J. Artif. Intell. Res. (2011)
Keyphrases
  • horn contraction
  • horn logic
  • propositional logic
  • belief change
  • kernel function
  • belief revision
  • support vector
  • possibilistic logic
  • feature space
  • description logics
  • data integration
  • first order logic