Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets.
Willem HeijltjesDominic J. D. HughesPublished in: LICS (2015)
Keyphrases
- petri net
- complexity bounds
- sum product
- programmable logic controller
- message passing
- worst case
- query containment
- constraint networks
- decision procedures
- modal logic
- theorem prover
- automated reasoning
- colored petri nets
- service composition
- logic programming
- fuzzy petri net
- theorem proving
- belief propagation
- probabilistic inference
- hardware and software
- inference rules
- knowledge base
- graphical models
- markov random field
- expert systems
- objective function