Sign in

Measuring instability in normal residuated logic programs: Adding information.

Nicolás MadridManuel Ojeda-Aciego
Published in: FUZZ-IEEE (2010)
Keyphrases
  • logic programs
  • logic programming
  • background knowledge
  • answer sets
  • answer set programming
  • domain knowledge
  • computational properties
  • normal logic programs
  • prolog programs
  • term rewriting systems