Faculty of Computer Science - Free University of Bozen-Bolzano

business process management data-aware processes process mining formal verification declarative process models model checking monitoring artificial intelligence verification runtime verification declare conformance checking linear temporal logic state-boundedness object-centric behavioral constraints temporal logics commitments object-centric processes finite-state automata business artifacts formal methods data-centric dynamic systems knowledge representation and reasoning multiagent systems automated reasoning declarative process mining first-order temporal logics business constraints event calculus colored petri nets finite traces infinite-state systems bpmn stochastic processes multi-case processes petri nets artifact-centric processes relational multiagent systems abstraction techniques mu-calculus temporal reasoning database theory conceptual modeling ontology-based data access uml temporal description logics master data management reactive reasoning logic programming metodi formali data analytics project management crm processi aziendali ontologie qualità totale gestione delle organizzazioni verifica gestione aziendale data science modellazione concettuale sistemi informativi analisi formale management petri nets with names simulazione description logics accesso ai dati semantic dmn dmn big data operational decision support data-centric workflows stochastic petri nets compliance colored automata clinical guidelines social commitmens process constraints gsm data petri nets erp systems ontologies probabilistic constraints uncertainty relational databases synthesis data-aware multiagent systems object-aware petri nets dcds stochastic process mining silent transitions process monitoring reasoning on decision models decision model and notation db-nets probabilistic declare first-order logic process discovery data models data preparation data abstraction business processes reachability information systems execution traces conformance business interactions many-to-many processes decision-aware processes medical knowledge parameterized verification case-centric processes data case management metric time bisimulations linear dynamic logic petri nets with data qualitative verification business rules knowledge bases decidability results databases markov chains strategic reasoning carlo combi acsi project univerona univr enterprise modeling guard-stage milestone uml class diagrams object-relational mapping conceptual models hibernate lossless views mappings query languages run-boundedness relational mapping pods description logic-based dynamic systems glare best paper award planning first-order tempral logics computer-interpretable guidelines deviations verona audit trails compensation regular expressions ldl ltl datalog declarative networking marco somalvico award ai*ia declarative distributed systems aixia decidability business mining petri reasoning analysis process computing science levesque functional approach best paper proactive agents reactive agents relational commitments open multiagent systems boundedness exceptions contrary-to-duty constraints compensations mutual exclusion protocols dense order data types ordered data hybrid process modeling automata constraint automata agents time-aware commitments conflicting constraints integer linear programming normative frameworks ontologies of norms events correctness analysis knowledge integration quality assessment decision logic decision management data pipelines knowledge graphs xes event logs event data multi-level mappings best practices slides speech conference presentation s-feel decision modeling divergence convergence data-aware bpmn smt-based model checking array-based systems backward reachability digitalization public administration fit for digital multi-perspective declare multi-dimensional alignments caise soundness checking arithmetic conditions arithmetics smt ada tool steady-state analysis constraint mining constraint discovery vacuity detection intelligent systems augmented bpm trace probability absorption probability exit probability onprom multiple perspectives multi-event logs declarative modeling ocbc temporal constraints probabilistic models probabilistic temporal logics classification outliers probabilistic reasoning data-aware dynamic systems probabilistic trace alignment trace alignment embeddings approximate alignments informatica lógica teoria degli insiemi leibniz paradossi whitehead problemi di hilbert goedel frege turing turing machines hilbert principia mathematica macchine di turing logica al prim'ordine russell cigs artifact-centric service interoperation european project rec cached event calculus reactive event calculus flexible processes social commitments climb open declarative interaction models abductive logic programming knowledge-intensive processes timed declare boole paradosso del mentitore decidbilità undecidability results lossy counter automata logics and bisimulations characterization theorems isomorphic types modeling guidelines implementation dcds execution syntactic conditions raw-sys modeling methodologies daphne java apis weak acyclicity how to present scientific presentations matematica obda log extraction domain knowledge database execution semantics relational transition systems computation tree logic persistence-preserving logics generic transition systems incrementing counter machines markovian systems state-bounded dcds counter machines genericity counter automata epsilon moves