Login / Signup

One Henkin Quantifier in the Empty Vocabulary Suffices for Undecidability.

Konrad Zdanowski
Published in: Fundam. Informaticae (2019)
Keyphrases
  • description logics
  • machine learning
  • real time
  • databases
  • search engine
  • website
  • case study
  • probabilistic planning