Login / Signup

On the Relations between Stable and Well-Founded Semantics of Logic Programs.

Phan Minh Dung
Published in: Theor. Comput. Sci. (1992)
Keyphrases
  • semantics of logic programs
  • logic programs
  • deductive databases
  • truth values
  • logic programming
  • artificial intelligence
  • general purpose
  • answer sets
  • search algorithm
  • hidden markov models