Login / Signup

Program Derivation = Rules + Strategies.

Alberto PettorossiMaurizio Proietti
Published in: Computational Logic: Logic Programming and Beyond (2002)
Keyphrases
  • derivation rules
  • artificial intelligence
  • stable model semantics
  • expert systems
  • data management
  • query optimization