Login / Signup

Checking Conservativity of Overloaded Definitions in Higher-Order Logic.

Steven Obua
Published in: RTA (2006)
Keyphrases
  • higher order logic
  • higher order
  • theorem prover
  • conditional logic
  • logical framework
  • inference rules
  • feature extraction
  • object oriented
  • nonmonotonic reasoning
  • first order logic
  • maximum entropy