Checking Properties of Business Process Models with Logic Programming.
Volker GruhnRalf LauePublished in: MSVVEIS (2007)
Keyphrases
- logic programming
- business process models
- logic programs
- nonmonotonic reasoning
- knowledge representation
- deductive databases
- logic programming language
- knowledge base
- programming language
- answer set programming
- computational logic
- business process
- default logic
- answer sets
- business processes
- stable models
- constraint logic programming
- inductive logic programming
- process model
- cooperative multi agent
- disjunctive logic programming
- machine learning
- fixpoint
- relational databases
- information systems