Login / Signup

Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses.

Frank S. de BoerJoost N. KokCatuscia PalamidessiJan J. M. M. Rutten
Published in: MFCS (1989)
Keyphrases
  • horn clauses
  • high level
  • process model
  • databases
  • machine learning
  • probabilistic model
  • metamodel
  • control flow
  • database
  • prior knowledge
  • inference rules