Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 3.721 a 3.740 di 16.705
Memory-Saving Evaluation Plans for Datalog
2019-01-01 Allocca, C.; Costabile, R.; Fiorentino, A.; Perri, S.; Zangari, J.
Reasoning in highly reactive environments
2019-01-01 Pacenza, F.; Ianni, G.
An infrastructure for stream reasoning with incremental grounding
2019-01-01 Ianni, G.; Pacenza, F.; Zangari, J.
Tight Integration of Rule-Based Tools in Game Development
2019-01-01 Angilica, D.; Ianni, G.; Pacenza, F.
Modelling on Human Intelligence a Machine Learning System
2020-01-01 De Pietro, M.; Bertacchini, F.; Pantano, P.; Bilotta, E.
Algorithms for Jewelry Industry 4.0
2020-01-01 Demarco, F.; Bertacchini, F.; Scuro, C.; Bilotta, E.; Pantano, P.
Generalized Brewster effect in aluminum-doped ZnO nanopillars
2020-01-01 Chatterjee, S.; Shkondin, E.; Takayama, O.; Lavrinenko, A. V.; Hinczewski, M.; Strangi, G.
PATTERNS OF DHW USAGE IN THE APPLICABILITY OF THERMAL SOLAR SYSTEMS
2019-01-01 Fajilla, Gianmarco; DE SIMONE, Marilena
Integration of occupants’ behavior in design and operation of thermal solar systems in residential buildings located in Southern Italy
2019-01-01 DE SIMONE, Marilena; Fajilla, Gianmarco; Sabato, Adolfo
Le metamorfosi registiche di Romeo Castellucci
2020-01-01 Fanelli, C.
A multi-level simulation framework for IoT-based elderly care systems
2020-01-01 Mazza, R. M.; Legato, P.; Fortino, G.
Revisiting the notion of extension over incomplete abstract argumentation frameworks
2020-01-01 Fazzinga, B.; Flesca, S.; Furfaro, F.
An overview of ASP applications in the health-care domain
2018-01-01 Dodaro, C.; Galata, G.; Maratea, M.; Porro, I.
KR&R approaches for robot manipulation tasks with articulated objects
2018-01-01 Bertolucci, R.; Capitanelli, A.; Dodaro, C.; Maratea, M.; Mastrogiovanni, F.; Vallati, M.
Answer set programming in healthcare: Extended overview
2020-01-01 Alviano, M.; Bertolucci, R.; Cardellini, M.; Dodaro, C.; Galata, G.; Khan, M. K.; Maratea, M.; Mochi, M.; Morozan, V.; Porro, I.; Schouten, M.
Chemotherapy treatment scheduling via answer set programming
2020-01-01 Dodaro, C.; Galata, G.; Maratea, M.; Mochi, M.; Porro, I.
An ASP based solution for operating room scheduling with surgical teams in hospital environments
2020-01-01 Dodaro, C.; Galata, G.; Khan, M. K.; Maratea, M.; Porro, I.
Overcoming the grounding bottleneck due to constraints in ASP solving: Constraints become propagators
2020-01-01 Cuteri, B.; Dodaro, C.; Ricca, F.; Schuller, P.
Compilation of aggregates in ASP: Preliminary results
2020-01-01 Mazzotta, G.; Cuteri, B.; Dodaro, C.; Ricca, F.
A formal approach for cautious reasoning in answer set programming (extended abstract)
2020-01-01 Amendola, G.; Dodaro, C.; Maratea, M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Memory-Saving Evaluation Plans for Datalog | 1-gen-2019 | Allocca, C.; Costabile, R.; Fiorentino, A.; Perri, S.; Zangari, J. | |
| Reasoning in highly reactive environments | 1-gen-2019 | Pacenza, F.; Ianni, G. | |
| An infrastructure for stream reasoning with incremental grounding | 1-gen-2019 | Ianni, G.; Pacenza, F.; Zangari, J. | |
| Tight Integration of Rule-Based Tools in Game Development | 1-gen-2019 | Angilica, D.; Ianni, G.; Pacenza, F. | |
| Modelling on Human Intelligence a Machine Learning System | 1-gen-2020 | De Pietro, M.; Bertacchini, F.; Pantano, P.; Bilotta, E. | |
| Algorithms for Jewelry Industry 4.0 | 1-gen-2020 | Demarco, F.; Bertacchini, F.; Scuro, C.; Bilotta, E.; Pantano, P. | |
| Generalized Brewster effect in aluminum-doped ZnO nanopillars | 1-gen-2020 | Chatterjee, S.; Shkondin, E.; Takayama, O.; Lavrinenko, A. V.; Hinczewski, M.; Strangi, G. | |
| PATTERNS OF DHW USAGE IN THE APPLICABILITY OF THERMAL SOLAR SYSTEMS | 1-gen-2019 | Fajilla, Gianmarco; DE SIMONE, Marilena | |
| Integration of occupants’ behavior in design and operation of thermal solar systems in residential buildings located in Southern Italy | 1-gen-2019 | DE SIMONE, Marilena; Fajilla, Gianmarco; Sabato, Adolfo | |
| Le metamorfosi registiche di Romeo Castellucci | 1-gen-2020 | Fanelli, C. | |
| A multi-level simulation framework for IoT-based elderly care systems | 1-gen-2020 | Mazza, R. M.; Legato, P.; Fortino, G. | |
| Revisiting the notion of extension over incomplete abstract argumentation frameworks | 1-gen-2020 | Fazzinga, B.; Flesca, S.; Furfaro, F. | |
| An overview of ASP applications in the health-care domain | 1-gen-2018 | Dodaro, C.; Galata, G.; Maratea, M.; Porro, I. | |
| KR&R approaches for robot manipulation tasks with articulated objects | 1-gen-2018 | Bertolucci, R.; Capitanelli, A.; Dodaro, C.; Maratea, M.; Mastrogiovanni, F.; Vallati, M. | |
| Answer set programming in healthcare: Extended overview | 1-gen-2020 | Alviano, M.; Bertolucci, R.; Cardellini, M.; Dodaro, C.; Galata, G.; Khan, M. K.; Maratea, M.; Mochi, M.; Morozan, V.; Porro, I.; Schouten, M. | |
| Chemotherapy treatment scheduling via answer set programming | 1-gen-2020 | Dodaro, C.; Galata, G.; Maratea, M.; Mochi, M.; Porro, I. | |
| An ASP based solution for operating room scheduling with surgical teams in hospital environments | 1-gen-2020 | Dodaro, C.; Galata, G.; Khan, M. K.; Maratea, M.; Porro, I. | |
| Overcoming the grounding bottleneck due to constraints in ASP solving: Constraints become propagators | 1-gen-2020 | Cuteri, B.; Dodaro, C.; Ricca, F.; Schuller, P. | |
| Compilation of aggregates in ASP: Preliminary results | 1-gen-2020 | Mazzotta, G.; Cuteri, B.; Dodaro, C.; Ricca, F. | |
| A formal approach for cautious reasoning in answer set programming (extended abstract) | 1-gen-2020 | Amendola, G.; Dodaro, C.; Maratea, M. |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 3.721 a 3.740 di 16.705
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 ...16703
- 1 Contributo su Rivista1
- 2 Contributo in Volume1
- 5 Altro1
Data di pubblicazione
- In corso di stampa40
- 2020 - 20272689
- 2010 - 20196029
- 2000 - 20096298
- 1990 - 19991328
- 1980 - 1989293
- 1973 - 197928
Editore
- Institute of Electrical and Elect...555
- IEEE378
- Springer326
- Springer Verlag161
- CEUR-WS158
- Springer Science and Business Med...151
- IEEE Computer Society138
- Elsevier B.V.129
- ACM89
- Editore Bios58
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE206
- CEUR WORKSHOP PROCEEDINGS73
- PROCEDIA COMPUTER SCIENCE72
- PROCEDIA STRUCTURAL INTEGRITY64
- POS PROCEEDINGS OF SCIENCE50
- AIP CONFERENCE PROCEEDINGS41
- IJCAI41
- PROCEEDINGS OF THE EUROPEAN CONFE...36
- ACM INTERNATIONAL CONFERENCE PROC...33
- AIP CONFERENCE PROCEEDINGS32
Serie
- CEUR WORKSHOP PROCEEDINGS172
- LECTURE NOTES IN COMPUTER SCIENCE130
- LECTURE NOTES IN ARTIFICIAL INTEL...77
- MECHANISMS AND MACHINE SCIENCE52
- AIP CONFERENCE PROCEEDINGS27
- COMMUNICATIONS IN COMPUTER AND IN...23
- LECTURE NOTES IN MECHANICAL ENGIN...22
- IFAC-PAPERSONLINE21
- PROCEDIA CIRP20
- LECTURE NOTES IN NETWORKS AND SYS...19
Keyword
- Computer Science (all)98
- Computer Networks and Communications94
- -87
- Software77
- Answer Set Programming75
- Artificial Intelligence75
- Theoretical Computer Science69
- Computer Science Applications1707...52
- Electrical and Electronic Enginee...47
- Instrumentation37
Lingua
- eng11324
- ita3493
- fre69
- spa30
- rus17
- ger15
- alb13
- und8
- por4
- mul3
Accesso al fulltext
- no fulltext16676
- open22
- embargoed6
- reserved1