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 1 - 10 di 18 (tempo di esecuzione: 0.114 secondi).
Titolo Data di pubblicazione Autore(i) File
A Social ACL Semantics by Deontic Constraints 2003 Alberti, Marco; Ciampolini, A; Gavanelli, Marco; Lamma, Evelina; Mello, P; 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
Accountable protocols in abductive logic programming (extended abstract) 2020 Gavanelli, M.; Alberti, M.; Lamma, E.
An Application of Fuzzy Logic to Strategic Environmental Assessment 2011 Gavanelli, Marco; Riguzzi, Fabrizio; M., Milano; D., Sottara; A., Cangini; P., Cagnoli file con accesso da definire
An ASP approach for the optimal placement of the isolation valves in a water distribution system 2012 Peano, Andrea; Gavanelli, Marco file con accesso da definire
Constraint and optimization techniques for supporting policy making 2013 Gavanelli, Marco; Riguzzi, Fabrizio; Milano, M.; Cagnoli, P. file con accesso da definire
Expressing interaction in combinatorial auction through social integrity constraints 2005 Alberti, Marco; F., Chesani; Gavanelli, Marco; A., Guerri; Lamma, Evelina; M., Milano; P., Torroni 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
Integration of abductive reasoning and constraint optimization in SCIFF 2009 Gavanelli, Marco; Alberti, Marco; Lamma, Evelina file con accesso da definire
Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper) 2017 Gavanelli, Marco; Nonato, Maddalena; Peano, Andrea; Bertozzi, Davide
Risultati 1 - 10 di 18 (tempo di esecuzione: 0.114 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