Correct-by-construction Process Composition Using Classical Linear Logic Inference.
Petros PapapanagiotouJacques D. FleuriotPublished in: CoRR (2018)
Keyphrases
- construction process
- linear logic
- fixed point
- logic programming
- intuitionistic logic
- sequent calculus
- proof theoretic
- probabilistic inference
- ontology construction
- decision model
- bayesian networks
- logical framework
- inference rules
- desirable properties
- cut elimination
- decision making
- higher order
- case based reasoning
- proof search
- probabilistic reasoning
- artificial intelligence
- natural deduction