Login / Signup

An Integration of Program Analysis and Automated Theorem Proving.

Bill J. EllisAndrew Ireland
Published in: IFM (2004)
Keyphrases
  • automated theorem proving
  • theorem prover
  • theorem proving
  • answer set programming
  • data integration
  • knowledge base
  • knowledge representation
  • first order logic
  • answer sets
  • information integration
  • classical logic