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

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 150
Titolo Data di pubblicazione Autore(i) File
RCRA 05: giornata di lavoro su analisi sperimentale e benchmark di algoritmi per l'intelligenza artificiale 2005 M., Cadoli; Gavanelli, Marco; T., Mancini file con accesso da definire
The CHR-based implementation of a system for generation and confirmation of hypotheses 2005 Alberti, Marco; Chesani, F.; Gavanelli, Marco; Lamma, Evelina file con accesso da definire
Applicazione dei vincoli di integrità sociali come strumento di specifica delle interazioni in aste combinatorie 2005 Alberti, Marco; Chesani, F; Gavanelli, Marco; Guerri, A; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
Abduction with hypotheses confirmation 2005 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
A CHR-based implementation of known arc-consistency 2005 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Milano, M. file con accesso da definire
Dealing with incomplete knowledge on CLP(FD) variable domains 2005 Gavanelli, Marco; Lamma, Evelina; Mello, P.; Milano, M. file con accesso da definire
Mapping deontic operators to abductive expectations 2005 Alberti, Marco; Lamma, Evelina; Gavanelli, Marco; Mello, P; Sartor, G; Torroni, P.
The SCIFF abductive proof-procedure 2005 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
Expressing interaction in combinatorial auction through social integrity constraints 2005 Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Guerri, Alessio; Lamma, Evelina; Milano, Mic...hela; Torroni, Paolo file con accesso da definire
The SOCS computational logic approach to the specification and verification of agent societies 2005 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
Policy-based reasoning for smart web-service interaction 2006 Alberti, Marco; Federico, Chesani; Gavanelli, Marco; Lamma, Evelina; Paola, Mello; Marco, Montali...; Paolo, Torroni 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
Cost-based filtering for determining the Pareto frontier 2006 Gavanelli, Marco; M., Milano file con accesso da definire
University timetabling in ECLiPSe 2006 Gavanelli, Marco 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
Mostrati risultati da 21 a 40 di 150
Legenda icone

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