Login / Signup

Quasi-Metrics and the Semantics of Logic Programs.

Anthony Karel Seda
Published in: Fundam. Informaticae (1997)
Keyphrases
  • semantics of logic programs
  • logic programs
  • deductive databases
  • answer sets
  • logic programming
  • fixpoint
  • databases
  • artificial intelligence
  • data structure
  • query language
  • expressive power
  • integrity constraints