Login / Signup

Semiring-Induced Propositional Logic: Definition and Basic Algorithms.

Javier LarrosaAlbert OliverasEnric Rodríguez-Carbonell
Published in: LPAR (Dakar) (2010)
Keyphrases
  • propositional logic
  • belief revision
  • first order logic
  • propositional satisfiability
  • domain knowledge
  • lattice theory
  • lower bound
  • constraint satisfaction problems
  • belief change
  • solving hard