Login / Signup

Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs under the Completion.

Sophie Renault
Published in: LOPSTR (1995)
Keyphrases
  • normal logic programs
  • proof procedure
  • logic programs
  • theorem proving
  • stable models
  • database systems
  • first order logic
  • knowledge base
  • knowledge representation
  • logic programming