Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.541 a 2.560 di 12.337
Negation as a resource: A novel view on answer set semantics
2013-01-01 Costantini, Stefania; Formisano, A.
Augmenting weight constraints with complex preferences
2011-01-01 Costantini, S.; Formisano, A.
Query answering in resource-based answer set semantics
2014-01-01 Costantini, Stefania; Formisano, Andrea
Management of uncertainty orderings through ASP
2006-01-01 Capotorti, A.; Formisano, A.
Instructing equational set-reasoning with otter
2001-01-01 Formisano, A.; Omodeo, E. G.; Temperini, M.
Preferences and priorities in ASP
2012-01-01 Costantini, S.; Formisano, A.
PRODPROC - Product and production process modeling and configuration
2011-01-01 Campagna, D.; Formisano, A.
Nested weight constraints in ASP
2011-01-01 Costantini, S.; Formisano, A.
Conditional preferences in P-RASP
2008-01-01 Costantini, S.; Formisano, A.
An equational re-engineering of set theories
2000-01-01 Formisano, A.; Omodeo, E.
Weight constraints with preferences in ASP
2011-01-01 Costantini, S.; Formisano, A.
INTERACTIVE TOOLS FOR LINEAR ALGEBRA: GEOUNIUD
2020-01-01 Lepellere, Maria Antonietta; Zucconi, Francesco; Al Asbahi, Nizar Salahi; Carminati, Alberto
Multi-context systems in time
2016-01-01 Costantini, Stefania; Formisano, Andrea
Optimizing the selection of sustainable transport technologies at regional bus companies with a spatially explicit approach
2020-01-01 Chinese, Damiana; Pinamonti, Piero; Mauro, Caterina
TEACHING MULTIVARIABLE DIFFERENTIAL CALCULUS USING GEOGEBRA AND QUIZZES
2020-01-01 Lepellere, Ma; Urbinati, S; Al Asbahi, Ns
Comparing predictive distributions in EMOS
2020-01-01 Giummolè, Federica; Mameli, Valentina
The COVID-19 Infodemic: Can the Crowd Judge Recent Misinformation Objectively?
2020-01-01 Roitero, Kevin; Soprano, Michael; Portelli, Beatrice; Spina, Damiano; DELLA MEA, Vincenzo; Serra, Giuseppe; Mizzaro, Stefano; Demartini, Gianluca
Digitalization at local government level: Managing smart data or a bulky compliance effort?
2020-01-01 Iacuzzi, S.; Garlatti, A.
Anaerobic Digestion of Thickened Sludge from Fish Production in CSTR and Hybrid Pilot Scale Digesters
2020-01-01 Chiumenti, Alessandro; Limina, S.; Fait, G.; da Borso, F
A research to support an alpine monobreed cheese
2015-01-01 Romanzin, A.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Negation as a resource: A novel view on answer set semantics | 1-gen-2013 | Costantini, Stefania; Formisano, A. | |
| Augmenting weight constraints with complex preferences | 1-gen-2011 | Costantini, S.; Formisano, A. | |
| Query answering in resource-based answer set semantics | 1-gen-2014 | Costantini, Stefania; Formisano, Andrea | |
| Management of uncertainty orderings through ASP | 1-gen-2006 | Capotorti, A.; Formisano, A. | |
| Instructing equational set-reasoning with otter | 1-gen-2001 | Formisano, A.; Omodeo, E. G.; Temperini, M. | |
| Preferences and priorities in ASP | 1-gen-2012 | Costantini, S.; Formisano, A. | |
| PRODPROC - Product and production process modeling and configuration | 1-gen-2011 | Campagna, D.; Formisano, A. | |
| Nested weight constraints in ASP | 1-gen-2011 | Costantini, S.; Formisano, A. | |
| Conditional preferences in P-RASP | 1-gen-2008 | Costantini, S.; Formisano, A. | |
| An equational re-engineering of set theories | 1-gen-2000 | Formisano, A.; Omodeo, E. | |
| Weight constraints with preferences in ASP | 1-gen-2011 | Costantini, S.; Formisano, A. | |
| INTERACTIVE TOOLS FOR LINEAR ALGEBRA: GEOUNIUD | 1-gen-2020 | Lepellere, Maria Antonietta; Zucconi, Francesco; Al Asbahi, Nizar Salahi; Carminati, Alberto | |
| Multi-context systems in time | 1-gen-2016 | Costantini, Stefania; Formisano, Andrea | |
| Optimizing the selection of sustainable transport technologies at regional bus companies with a spatially explicit approach | 1-gen-2020 | Chinese, Damiana; Pinamonti, Piero; Mauro, Caterina | |
| TEACHING MULTIVARIABLE DIFFERENTIAL CALCULUS USING GEOGEBRA AND QUIZZES | 1-gen-2020 | Lepellere, Ma; Urbinati, S; Al Asbahi, Ns | |
| Comparing predictive distributions in EMOS | 1-gen-2020 | Giummolè, Federica; Mameli, Valentina | |
| The COVID-19 Infodemic: Can the Crowd Judge Recent Misinformation Objectively? | 1-gen-2020 | Roitero, Kevin; Soprano, Michael; Portelli, Beatrice; Spina, Damiano; DELLA MEA, Vincenzo; Serra, Giuseppe; Mizzaro, Stefano; Demartini, Gianluca | |
| Digitalization at local government level: Managing smart data or a bulky compliance effort? | 1-gen-2020 | Iacuzzi, S.; Garlatti, A. | |
| Anaerobic Digestion of Thickened Sludge from Fish Production in CSTR and Hybrid Pilot Scale Digesters | 1-gen-2020 | Chiumenti, Alessandro; Limina, S.; Fait, G.; da Borso, F | |
| A research to support an alpine monobreed cheese | 1-gen-2015 | Romanzin, A. |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.541 a 2.560 di 12.337
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...12337
Data di pubblicazione
- In corso di stampa23
- 2020 - 20272067
- 2010 - 20193793
- 2000 - 20094359
- 1990 - 19991637
- 1980 - 1989430
- 1970 - 197927
Editore
- Institute of Electrical and Elect...389
- IEEE181
- Springer178
- Springer Science and Business Med...154
- CEUR-WS121
- Springer Verlag108
- Sissa Medialab Srl107
- Forum Editrice Universitaria Udinese76
- IEEE Computer Society62
- Springer-Verlag61
Rivista
- POS PROCEEDINGS OF SCIENCE125
- LECTURE NOTES IN COMPUTER SCIENCE123
- JOURNAL OF PHYSICS. CONFERENCE SE...68
- MINERVA ANESTESIOLOGICA61
- ACTA HORTICULTURAE39
- CEUR WORKSHOP PROCEEDINGS33
- ELECTRONIC NOTES IN THEORETICAL C...22
- INTERNATIONAL ARCHIVES OF THE PHO...22
- ELECTRONIC PROCEEDINGS IN THEORET...20
- SABIEDRIBA, INTEGRACIJA, IZGLITIBA20
Serie
- LECTURE NOTES IN COMPUTER SCIENCE177
- CEUR WORKSHOP PROCEEDINGS141
- LECTURE NOTES IN ARTIFICIAL INTEL...52
- MECHANISMS AND MACHINE SCIENCE33
- LEIBNIZ INTERNATIONAL PROCEEDINGS...25
- CONFERENCE PROCEEDINGS - IEEE APP...23
- PROCEEDINGS OF SPIE, THE INTERNAT...23
- SCIENCE ET TECHNIQUE DU FROID19
- LECTURE NOTES IN CIVIL ENGINEERING18
- PROCEEDINGS OF THE IEEE CONFERENC...18
Keyword
- Electrical and Electronic Enginee...63
- Computer Science (all)54
- Computer Science Applications1707...44
- Physics and Astronomy (all)44
- Mechanical Engineering38
- Software35
- Musica per film34
- Theoretical Computer Science34
- Computer Networks and Communications30
- Electronic30
Lingua
- eng7389
- ita3025
- und74
- fre71
- spa44
- ger34
- slv12
- lat10
- rus7
- mul5
Accesso al fulltext
- no fulltext10220
- reserved1262
- open795
- partially open55
- restricted4
- embargoed1