Sfoglia per Autore
Expressing and Verifying Business Contracts with Abductive Logic Programming
2007 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni
Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification
2007 F. Chesani; P. Mello; M. Montali; S. Storari
Specification and Verification of Agent Interaction Protocols in a Logic-based System
2007 M. Alberti; F. Chesani; D. Daolio; M. Gavanelli; E. Lamma; P. Mello; P. Torroni
A computational logic-based approach to verification of IT systems
2007 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari; P. Torroni
A rule-based approach for reasoning about collaboration between smart Web services
2007 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni
Argumentation in the Semantic Web
2007 Torroni P.; Gavanelli M.; Chesani F.
Web Service Contracting: Specification and Reasoning with SCIFF
2007 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni.
Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic
2007 F. Chesani; P. Mello; M. Montali; S. Storari
Abduction in the Context of a Reasoning Process: the SCIFF Framework
2008 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello
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
Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting
2008 F. Chesani; P. Mello; M. Montali; P. Torroni
Expressing and verifying contracts with abductive logic programming
2008 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni
Verification from declarative specifications using Logic Programming
2008 M. Montali; P. Torroni; M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello
Verifiable agent interaction in abductive logic programming: the SCIFF framework
2008 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; P. Torroni
Arguing on the Semantic Grid
2009 P. Torroni; M. Gavanelli; F. Chesani
Commitment Tracking via the Reactive Event Calculus
2009 M. Montali; F. Chesani; P. Mello; P. Torroni
Social commitments in time: satisfied or compensated (preliminary report)
2009 P. Torroni; F. Chesani; P. Mello; M. Montali
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
Checking Compliance of Execution Traces to Business Rules
2009 F. Chesani; P. Mello; M. Montali; F. Riguzzi; M. Sebastianis; S. Storari
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
Expressing and Verifying Business Contracts with Abductive Logic Programming |
M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni |
2007-01-01 | - | IBFI | 4.01 Contributo in Atti di convegno | - |
Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification | F. Chesani; P. Mello; M. Montali; S. Storari | 2007-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
Specification and Verification of Agent Interaction Protocols in a Logic-based System | M. Alberti; F. Chesani; D. Daolio; M. Gavanelli; E. Lamma; P. Mello; P. Torroni | 2007-01-01 | SCALABLE COMPUTING. PRACTICE AND EXPERIENCE | - | 1.01 Articolo in rivista | - |
A computational logic-based approach to verification of IT systems | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari; P. Torroni | 2007-01-01 | - | Infonomics-Consulting | 4.01 Contributo in Atti di convegno | - |
A rule-based approach for reasoning about collaboration between smart Web services | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni | 2007-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
Argumentation in the Semantic Web | Torroni P.; Gavanelli M.; Chesani F. | 2007-01-01 | IEEE INTELLIGENT SYSTEMS | - | 1.01 Articolo in rivista | - |
Web Service Contracting: Specification and Reasoning with SCIFF | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni. | 2007-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic | F. Chesani; P. Mello; M. Montali; S. Storari | 2007-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
Abduction in the Context of a Reasoning Process: the SCIFF Framework | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello | 2008-01-01 | - | University of Chicago Press | 2.01 Capitolo / saggio in libro | - |
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 | - |
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 | - |
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 | - |
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 | - |
Verifiable agent interaction in abductive logic programming: the SCIFF framework | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; P. Torroni | 2008-01-01 | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | - | 1.01 Articolo in rivista | - |
Arguing on the Semantic Grid | P. Torroni; M. Gavanelli; F. Chesani | 2009-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
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 | - |
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 | - |
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 | - |
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 | - |
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