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

RicercaInizia una nuova ricerca

NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.

cerca in
Risultati 11 - 18 di 18 (tempo di esecuzione: 0.134 secondi).
Titolo Data di pubblicazione Autore(i) File
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study 2004 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
Multi-Criteria Optimal Planning for Energy Policies in CLP 2014 Gavanelli, Marco; Stefano, Bragaglia; Michela, Milano; Federico, Chesani; Elisa, Marengo; Paolo, ...Cagnoli file con accesso da definire
Partially ordered constraint optimization problems 2001 Gavanelli, Marco file con accesso da definire
Runtime addition of integrity constraints in SCIFF 2010 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina 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 using abductive reasoning (tutorial paper) 2006 Chesani, F; Gavanelli, Marco; Alberti, Marco; Lamma, Evelina; Mello, P; Torroni, P. 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
The SCIFF abductive proof-procedure 2005 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
Risultati 11 - 18 di 18 (tempo di esecuzione: 0.134 secondi).
↑ Back to top
Legenda icone

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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 04 Atto di Convegno (Proceedings) 18
  • 04 Atto di Convegno (Proceedings)... 18
Autore
  • ALBERTI, Marco 12
  • LAMMA, Evelina 12
  • RIGUZZI, Fabrizio 3
  • PEANO, Andrea 2
  • BERTOZZI, Davide 1
  • NONATO, Maddalena 1
  • STORARI, Sergio 1
Data di pubblicazione
  • 2010 - 2020 8
  • 2001 - 2009 10
Editore
  • Springer Berlin Heidelberg 6
  • CAMBRIDGE UNIVERSITY PRESS 1
  • Cambridge University Press 1
  • CEUR 1
  • CEUR Workshop Proceedings 1
  • Open Publishing Association 1
  • Paolo Liberatore 1
  • Redaktion Sun SITE, Informatik V,... 1
  • SAGRAF s.r.l. – ivia C. Colombo, ... 1
  • Springer 1
Rivista
  • LECTURE NOTES IN ARTIFICIAL INTEL... 7
  • CEUR WORKSHOP PROCEEDINGS 5
  • LECTURE NOTES IN COMPUTER SCIENCE 2
  • THEORY AND PRACTICE OF LOGIC PROG... 2
  • ELECTRONIC PROCEEDINGS IN THEORET... 1
  • INTELLIGENZA ARTIFICIALE 1
Keyword
  • Abduction 3
  • abduction 2
  • constraints 2
  • proof procedure 2
  • Strategic Environmental Assessment 2
  • verification 2
  • Abductive Logic Programming 1
  • agent communication languages 1
  • agent interaction 1
  • Answer Set Programming 1
Lingua
  • eng 18
Accesso al fulltext
  • no fulltext 16
  • open 1
  • partially open 1