Login / Signup

Full First-Order Sequent and Tableau Calculi with Preservation of Solutions and the Liberalized delta-Rule but without Skolemization.

Claus-Peter Wirth
Published in: FTP (LNCS Selection) (1998)
Keyphrases
  • sequent calculi
  • optimal solution
  • first order logic
  • association rules
  • description logics
  • data mining
  • decision trees
  • fuzzy logic
  • feasible solution
  • solution quality
  • active databases
  • rule learning
  • conditional logic