Login / Signup

Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case.

Olivier RousselPhilippe Mathieu
Published in: CADE (1997)
Keyphrases
  • predicate calculus
  • formal model
  • first order logic
  • semantic network
  • predicate logic
  • databases
  • theorem prover
  • lambda calculus
  • data mining
  • machine learning