Login / Signup

Well Founded Semantics for Logic Program Updates.

Federico BantiJosé Júlio AlferesAntonio Brogi
Published in: IBERAMIA (2004)
Keyphrases
  • logic program updates
  • logic programs
  • logic programming
  • fixpoint
  • answer sets
  • answer set programming
  • bayesian networks
  • theorem proving
  • nonmonotonic reasoning
  • classical logic