A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations.
Sara HouhouSouheib BaarirPascal PoizatPhilippe QuéinnecPublished in: BPM (2019)
Keyphrases
- first order logic
- formal semantics
- predicate calculus
- expressive power
- business process models
- highly expressive
- propositional logic
- theorem proving
- logical rules
- inference rules
- knowledge representation
- business processes
- theorem prover
- probabilistic graphical models
- probabilistic reasoning
- business process
- transitive closure
- representation language
- markov networks
- relational algebra
- inductive logic programming
- valued logic
- horn clauses
- relational structures
- logic programming
- relational calculus
- proof procedure
- quantifier elimination
- model theoretic
- markov logic
- semantic information
- markov logic networks
- artificial intelligence
- operational semantics