Login / Signup

On the computational properties of basic mathematical notions.

Dag NormannSam Sanders
Published in: J. Log. Comput. (2022)
Keyphrases
  • computational properties
  • expressive power
  • logic programs
  • description logics
  • semantic properties
  • reasoning problems
  • relational databases
  • logic programming
  • propositional theories
  • ontological reasoning