Login / Signup

An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems.

Tomás E. UribeAlan M. FrischMichael K. Mitchell
Published in: CADE (1992)
Keyphrases
  • semantic network
  • proof procedure
  • machine learning
  • np hard
  • probabilistic model
  • co occurrence
  • orders of magnitude
  • abductive logic programming