Login / Signup

Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions.

Guy Perrier
Published in: LPAR (2001)
Keyphrases
  • directed acyclic graph
  • linear logic
  • probabilistic model
  • theorem prover
  • markov models
  • directed graph
  • random variables
  • conditional independence
  • conceptual models