Goals in the Propositional Horn Language Are Monotone Boolean Circuits.
Joxe GaintzarainMontserrat HermoMarisa NavarroPublished in: MFCS (2005)
Keyphrases
- propositional logic
- boolean functions
- horn clauses
- multi valued
- natural language
- knowledge compilation
- programming language
- intended meaning
- np hard
- language learning
- first order logic
- high speed
- conjunctive normal form
- analog vlsi
- upper bound
- real valued
- uniform distribution
- belief revision
- disjunctive logic programming
- function free horn