Sign in
Program Derivation = Rules + Strategies.
Alberto Pettorossi
Maurizio Proietti
Published in:
Computational Logic: Logic Programming and Beyond (2002)
Keyphrases
</>
derivation rules
artificial intelligence
stable model semantics
expert systems
data management
query optimization