Login / Signup

Definability and Decidability Issues in Extensions of the Integers with the Divisibility Predicate.

Patrick CégielskiYuri V. MatiyasevichDenis Richard
Published in: J. Symb. Log. (1996)
Keyphrases
  • database
  • machine learning
  • artificial intelligence
  • fixed point
  • key issues
  • decision procedures
  • data mining
  • case study
  • description logics
  • first order logic
  • efficient implementation