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

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 79
Titolo Data di pubblicazione Autore(i) File
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
Abduction for specifying and verifying web service choreographies 2006 Alberti, Marco; Chesani, F.; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Montali, M.; Storari, S...ergio 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
Un sistema basato su logica computazionale per il trattamento degli operatori deontici 2006 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Sartor, G; Torroni, P. file con accesso da definire
A Verifiable Logic-Based Agent Architecture 2006 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P. file con accesso da definire
An Abductive Framework for A-Priori Verification of Web Services 2006 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M. file con accesso da definire
Mapping Deontic Operators to Abductive Expectations 2006 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P; Sartor, G; Torroni, P. file con accesso da definire
Policy-based reasoning for smart web service interaction 2006 Alberti, Marco; Chesani, F; Lamma, Evelina; Gavanelli, Marco; Mello, P; Montali, P; Torroni, P. file con accesso da definire
Compliance verification of agent interaction: A logic-based software tool 2006 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Chesani, F; Mello, P; Torroni, P.
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
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
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
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
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
Expressing and Verifying Business Contracts with Abductive Logic Programming 2007 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M; Torroni, P.
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
Integrating Abduction and Constraint Optimization in Constraint Handling Rules 2008 Gavanelli, Marco; Alberti, Marco; Lamma, Evelina 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
Verification from declarative specifications using logic programming 2008 M., Montali; P., Torroni; Alberti, Marco; F., Chesani; Gavanelli, Marco; Lamma, Evelina; P., Mello
Expressing and Verifying Business Contracts with Abductive Logic Programming 2008 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M; Torroni, P.
Mostrati risultati da 21 a 40 di 79
Legenda icone

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