Login / Signup

Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences.

Arnold BeckmannNorbert Preining
Published in: J. Log. Comput. (2015)
Keyphrases
  • datalog programs
  • expressive power
  • natural language
  • first order logic
  • database
  • logic programs
  • modal logic
  • sentence level
  • datalog queries