Login / Signup
An Integration of Program Analysis and Automated Theorem Proving.
Bill J. Ellis
Andrew 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