Login / Signup

Classifying model-theoretic properties.

Chris J. Conidis
Published in: J. Symb. Log. (2008)
Keyphrases
  • model theoretic
  • description logics
  • deductive databases
  • operational semantics
  • proof theoretic
  • database
  • logic programs
  • default reasoning
  • desirable properties
  • machine learning
  • search algorithm
  • fixpoint