Login / Signup

Predicate Logic with Sequence Variables and Sequence Function Symbols.

Temur KutsiaBruno Buchberger
Published in: MKM (2004)
Keyphrases
  • predicate logic
  • function symbols
  • logic programs
  • database
  • information retrieval
  • artificial intelligence
  • high level
  • database systems
  • answer set programming