Login / Signup

Applications of Lyndon Homomorphism Theorems to the Theory of Minimal Models.

Marek A. Suchenek
Published in: Int. J. Found. Comput. Sci. (1990)
Keyphrases
  • minimal models
  • propositional logic
  • logic programs
  • nonmonotonic reasoning
  • truth maintenance systems
  • autoepistemic logic
  • expert systems
  • default logic