Login / Signup
A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference.
Petros Papapanagiotou
Jacques D. Fleuriot
Published in:
LOPSTR (2018)
Keyphrases
</>
construction process
linear logic
cut elimination
logic programming
logical framework
fixed point
ontology construction
decision making
bayesian networks
sequent calculus
decision model
desirable properties
inference rules
special case
general purpose
proof search
intuitionistic logic