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

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 79
Titolo Data di pubblicazione Autore(i) File
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
Verification from declarative specifications using logic programming 2009 Montali, Marco; Torroni, Paolo; Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Eveli...na; Mello, Paola file con accesso da definire
Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties 2009 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Storari, Sergio file con accesso da definire
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture 2009 Alberti, Marco; Cattafi, Massimiliano; Federico, Chesani; Gavanelli, Marco; Lamma, Evelina; Marco..., Montali; Paola, Mello; Paolo, Torroni file con accesso da definire
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
Integration of abductive reasoning and constraint optimization in SCIFF 2009 Gavanelli, Marco; Alberti, Marco; Lamma, Evelina file con accesso da definire
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure 2010 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina file con accesso da definire
Observation strategies for event detection with incidence on runtime verification 2010 Alberti, Marco; Dell'Acqua, Pierangelo; Pereira, Lúis Moniz
Runtime addition of integrity constraints in SCIFF 2010 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina file con accesso da definire
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes 2010 M., Montali; P., Torroni; F., Chesani; P., Mello; Alberti, Marco; Lamma, Evelina file con accesso da definire
Learning specifications of interaction protocols and business processes and proving their properties 2011 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Storari, Sergio file con accesso da definire
The CHR-based Implementation of the SCIFF Abductive System 2011 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina file con accesso da definire
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation 2011 Alberti, Marco; P., Dell'Acqua; L. M., Pereira
NO Revision and NO Contraction 2011 G. R., Wheeler; Alberti, Marco file con accesso da definire
A Computational Logic Application Framework for Service Discovery and Contracting 2011 Alberti, Marco; Cattafi, Massimiliano; F., Chesani; Gavanelli, Marco; Lamma, Evelina; P., Mello; ...M., Montali; P., Torroni file con accesso da definire
Normative systems represented as hybrid knowledge bases 2011 Alberti, Marco; Gomes, Ana Sofia; Gonçalves, Ricardo; Leite, João; Slota, Martin file con accesso da definire
Deon  + : Abduction and Constraints for Normative Reasoning 2012 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina file con accesso da definire
Normative Systems Require Hybrid Knowledge Bases 2012 Alberti, Marco; Matthias, Knorr; Ana Sofia, Gomes; João, Leite; Ricardo, Gonçalves; Martin, Slota file con accesso da definire
The CHR-based Implementation of the SCIFF Abductive System 2013 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina file con accesso da definire
A spatial agent-based model for assessing strategies of adaptation to climate and tourism demand changes in an alpine tourism destination 2013 S., Balbi; C., Giupponi; P., Perez; Alberti, Marco file con accesso da definire
Mostrati risultati da 41 a 60 di 79
Legenda icone

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