• A High-level strategy for C-net discovery 

      Solé Simó, Marc; Carmona Vargas, Josep (2012)
      Report de recerca
      Accés obert
      Causal nets have been recently proposed as a suitable model for process mining, due to their declarative semantics and compact representation. However, the discovery of causal nets from a log is a complex problem. The ...
    • Encoding process discovery problems in SMT 

      Sole Simò, Marc; Carmona Vargas, Josep (2018-10)
      Article
      Accés obert
      Information systems, which are responsible for driving many processes in our lives (health care, the web, municipalities, commerce and business, among others), store information in the form of logs which is often left ...