Sign in

Optimal Groundness Analysis Using Propositional Logic.

Agostino CortesiGilberto FiléWilliam H. Winsborough
Published in: J. Log. Program. (1996)
Keyphrases
  • propositional logic
  • machine learning
  • expert systems
  • np complete
  • lattice theory
  • horn logic