Login / Signup

A Fixed Point Semantics for the ATMS.

Michel CayrolOlivier PalmadeThomas Schiex
Published in: J. Log. Comput. (1993)
Keyphrases
  • fixed point semantics
  • logic programs
  • logic programming
  • background knowledge
  • default logic
  • answer set programming
  • inference engine
  • semantics for logic programs
  • database
  • machine learning