Login / Signup

The Undecidability of the Definability of Principal Subcongruences.

Matthew Moore
Published in: J. Symb. Log. (2015)
Keyphrases
  • fixed point
  • description logics
  • propositional logic
  • probabilistic planning
  • data sets
  • knowledge base
  • database systems
  • partially observable
  • answering queries
  • principal agent
  • finite model theory