Login / Signup

)-Time Transformation from Grz into Decidable Fragments of Classical First-Order Logic.

Stéphane DemriRajeev Goré
Published in: FTP (LNCS Selection) (1998)
Keyphrases
  • classical first order logic
  • first order logic
  • logic programming
  • expressive power
  • knowledge representation
  • dynamic logic
  • data mining
  • propositional logic
  • function symbols
  • database
  • databases
  • learning algorithm