SFERA Archivio dei prodotti della Ricerca dell'Università di Ferrara

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 150
Titolo Data di pubblicazione Autore(i) File
Computational logic for run-time verification of web service choreographies: exploiting the SOCS-SI tool 2006 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M; Storari, Serg...io; Torroni, P. file con accesso da definire
Specification and verification of agent interaction using abductive reasoning (tutorial paper) 2006 Chesani, F; Gavanelli, Marco; Alberti, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
Security protocols verification in abductive logic programming: a case study 2006 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M; Torroni, P. file con accesso da definire
Specification and verification of agent interaction protocols in a logic-based system 2007 Alberti, Marco; Chesani, F; Daolio, D; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
A computational logic-based approach to verification of IT systems 2007 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M; Storari, Serg...io; Torroni, P. file con accesso da definire
Expressing and Verifying Business Contracts with Abductive Logic Programming 2007 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M; Torroni, P.
The log-support encoding of CSP into SAT 2007 Gavanelli, Marco file con accesso da definire
Web Service Contracting: Specification and Reasoning with SCIFF 2007 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M; Torroni, P. file con accesso da definire
Argumentation in the semantic web 2007 Torroni, P; Gavanelli, Marco; Chesani, F. file con accesso da definire
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services 2007 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M; Torroni, P. file con accesso da definire
Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion - RCRA 2007 2008 Gavanelli, Marco; T., Mancini file con accesso da definire
Verifiable agent interaction in abductive logic programming: the SCIFF framework 2008 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
Abduction in the context of a reasoning process: the SCIFF framework 2008 Alberti, Marco; F., Chesani; Gavanelli, Marco; Lamma, Evelina; P., Mello file con accesso da definire
Verification from declarative specifications using logic programming 2008 M., Montali; P., Torroni; Alberti, Marco; F., Chesani; Gavanelli, Marco; Lamma, Evelina; P., Mello
RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion 2008 Gavanelli, Marco; T., Mancini file con accesso da definire
Exploiting semantic technology in computational logic-based service contracting 2008 Alberti, Marco; Cattafi, Massimiliano; Gavanelli, Marco; Lamma, Evelina file con accesso da definire
Integrating Abduction and Constraint Optimization in Constraint Handling Rules 2008 Gavanelli, Marco; Alberti, Marco; Lamma, Evelina file con accesso da definire
Greedy and exact algorithms for invitation planning in cancer screening 2008 Gavanelli, Marco; M., Milano; Storari, Sergio; Tagliavini, Luca; P., Baldazzi; M., Manfredi; G., ...Valastro file con accesso da definire
Expressing and Verifying Business Contracts with Abductive Logic Programming 2008 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M; Torroni, P.
Modeling interactions via commitments and expectations 2009 P., Torroni; F., Chesani; P., Mello; P., Yolum; M. P., Singh; Alberti, Marco; Gavanelli, Marco; L...amma, Evelina file con accesso da definire
Mostrati risultati da 41 a 60 di 150
Legenda icone

  •  file ad accesso aperto
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile