A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations.
Sara HouhouSouheib BaarirPascal PoizatPhilippe QuéinnecLaïd KahloulPublished in: Inf. Syst. (2022)
Keyphrases
- first order logic
- expressive power
- representation language
- inference rules
- propositional logic
- inductive logic programming
- theorem proving
- probabilistic graphical models
- theorem prover
- transitive closure
- probabilistic reasoning
- knowledge representation
- relational algebra
- background knowledge
- business processes
- markov networks
- horn clauses
- graphical models