Sfoglia per Autore
Learning DecSerFlow Models from Labelled Traces
2007 E. Lamma; P. Mello; M. Montali; F. Riguzzi; S. Storari
Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting
2008 F. Chesani; P. Mello; M. Montali; P. Torroni
Conformance Checking of Cancer-Screening Careflows: an Approach based on Computational Logic.
2008 F. Chesani; E. Lamma; P. Mello; M. Montali; S. Storari; P. Baldazzi; M. Manfredi
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification
2008 v. bryl; p. mello; m. montali; p. torroni; n. zannone
Verification from declarative specifications using Logic Programming
2008 M. Montali; P. Torroni; M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello
Expressing and verifying contracts with abductive logic programming
2008 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni
Social commitments in time: satisfied or compensated (preliminary report)
2009 P. Torroni; F. Chesani; P. Mello; M. Montali
Exploiting inductive logic programming techniques for declarative process mining.
2009 F. Chesani; E. Lamma; P. Mello; M. Montali; F. Riguzzi; S. Storari
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture
2009 M. Alberti; M. Cattafi; F. Chesani; M. Gavanelli; E. Lamma; M. Montali; P. Mello; P. Torroni
Checking Compliance of Execution Traces to Business Rules
2009 F. Chesani; P. Mello; M. Montali; F. Riguzzi; M. Sebastianis; S. Storari
A REC-based commitment tracking tool
2009 Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo
Verification of choreographies during execution using the reactive event calculus
2009 Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo
Verifying a-priori the composition of declarative specified services.
2009 F. Chesani; P. Mello; M. Montali; P. Torroni
Commitment Tracking via the Reactive Event Calculus
2009 M. Montali; F. Chesani; P. Mello; P. Torroni
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance.
2009 A. Bottrighi; F. Chesani; P. Mello; G. Molino; M. Montali; S. Montani; S. Storari; P. Terenziani; M. Torchio
Monitoring Time-Aware Social Commitments with Reactive Event Calculus
2010 F. Chesani; P. Mello; M. Montali; P. Torroni
Social Commitments in Time: Satisfied or Compensated
2010 P. Torroni; F. Chesani; P. Mello; M. Montali
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes
2010 M. Montali; P. Torroni; F. Chesani; P. Mello; M. Alberti; E. Lamma
Specification and Verification of Declarative Open Interaction Models.
2010 M. Montali
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework
2010 F. Chesani; P. Mello; M. Montali; S. Storari; P. Torroni
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
Learning DecSerFlow Models from Labelled Traces | E. Lamma; P. Mello; M. Montali; F. Riguzzi; S. Storari | 2007-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting | F. Chesani; P. Mello; M. Montali; P. Torroni | 2008-01-01 | - | Sun SITE Central Europe | 4.01 Contributo in Atti di convegno | - |
Conformance Checking of Cancer-Screening Careflows: an Approach based on Computational Logic. | F. Chesani; E. Lamma; P. Mello; M. Montali; S. Storari; P. Baldazzi; M. Manfredi | 2008-01-01 | - | IOS Press | 2.01 Capitolo / saggio in libro | - |
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification | v. bryl; p. mello; m. montali; p. torroni; n. zannone | 2008-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
Verification from declarative specifications using Logic Programming | M. Montali; P. Torroni; M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello | 2008-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
Expressing and verifying contracts with abductive logic programming | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni | 2008-01-01 | INTERNATIONAL JOURNAL OF ELECTRONIC COMMERCE | - | 1.01 Articolo in rivista | - |
Social commitments in time: satisfied or compensated (preliminary report) | P. Torroni; F. Chesani; P. Mello; M. Montali | 2009-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
Exploiting inductive logic programming techniques for declarative process mining. | F. Chesani; E. Lamma; P. Mello; M. Montali; F. Riguzzi; S. Storari | 2009-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture | M. Alberti; M. Cattafi; F. Chesani; M. Gavanelli; E. Lamma; M. Montali; P. Mello; P. Torroni | 2009-01-01 | - | IEEE | 4.01 Contributo in Atti di convegno | - |
Checking Compliance of Execution Traces to Business Rules | F. Chesani; P. Mello; M. Montali; F. Riguzzi; M. Sebastianis; S. Storari | 2009-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
A REC-based commitment tracking tool | Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo | 2009-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
Verification of choreographies during execution using the reactive event calculus | Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo | 2009-01-01 | LECTURE NOTES IN COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | - |
Verifying a-priori the composition of declarative specified services. | F. Chesani; P. Mello; M. Montali; P. Torroni | 2009-01-01 | - | CEUR | 4.01 Contributo in Atti di convegno | - |
Commitment Tracking via the Reactive Event Calculus | M. Montali; F. Chesani; P. Mello; P. Torroni | 2009-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. | A. Bottrighi; F. Chesani; P. Mello; G. Molino; M. Montali; S. Montani; S. Storari; P. Terenziani;... M. Torchio | 2009-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
Monitoring Time-Aware Social Commitments with Reactive Event Calculus | F. Chesani; P. Mello; M. Montali; P. Torroni | 2010-01-01 | - | Austrian Society for Cybernetics Studies | 4.01 Contributo in Atti di convegno | - |
Social Commitments in Time: Satisfied or Compensated | P. Torroni; F. Chesani; P. Mello; M. Montali | 2010-01-01 | - | SPRINGER | 4.01 Contributo in Atti di convegno | - |
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes | M. Montali; P. Torroni; F. Chesani; P. Mello; M. Alberti; E. Lamma | 2010-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
Specification and Verification of Declarative Open Interaction Models. | M. Montali | 2010-01-01 | - | Springer Verlag | 3.01 Monografia / trattato scientifico in forma di libro | - |
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework | F. Chesani; P. Mello; M. Montali; S. Storari; P. Torroni | 2010-01-01 | MULTIAGENT AND GRID SYSTEMS | - | 1.01 Articolo in rivista | - |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile