Login / Signup

Paths to High-Performance Automated Theorem Proving.

Ralph ButlerEwing L. LuskWilliam McCuneRoss A. Overbeek
Published in: CADE (1986)
Keyphrases
  • automated theorem proving
  • theorem prover
  • theorem proving
  • answer set programming
  • classical logic
  • shortest path
  • cost effective
  • path finding
  • first order logic
  • data model
  • fuzzy logic
  • general purpose
  • optimal path