Automated Reasoning and Data Analytics for Declarative Process Mining.
Claudio Di CiccioPublished in: PMAI@IJCAI (2023)
Keyphrases
- automated reasoning
- process mining
- data analytics
- knowledge representation
- process model
- event logs
- business process
- big data
- business processes
- probabilistic reasoning
- data analysis
- open source
- theorem proving
- business intelligence
- theorem prover
- internet search
- data mining techniques
- cloud computing
- formal concept analysis
- expert systems
- unstructured data
- keyword search
- first order logic
- machine learning
- artificial intelligence
- knowledge base
- high level
- data mining
- databases
- logic programming
- traditional chinese medicine
- real world
- natural language
- inference rules
- xml data
- text mining
- social media