Sign in

An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs.

Paqui LucioFernando OrejasElvira Pino
Published in: J. Log. Program. (1999)
Keyphrases
  • logic programs
  • normal logic programs
  • compositional semantics