C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Logic-based Composition of Business Process Models.
Valeria Fionda
Antonio Ielo
Francesco Ricca
Published in:
KR (2023)
Keyphrases
</>
business process models
business process
business processes
process model
control flow
uml activity diagrams
databases
artificial intelligence
information systems
knowledge base
theorem prover
workflow management systems
formal language