Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics
2023-01-01 Cuteri, A.; Mazzotta, G.; Ricca, F.
In-Station Train Dispatching: A PDDL+ Planning Approach
2021-01-01 Cardellini, M.; Maratea, M.; Vallati, M.; Boleto, G.; Oneto, L.
A Planning-based Approach for In-Station Train Dispatching
2021-01-01 Cardellini, M.; Maratea, M.; Vallati, M.; Boleto, G.; Oneto, L.
A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels
2022-01-01 Barbara, V.; Buelli, D.; Guarascio, M.; Ierace, S.; Iiritano, S.; Laboccetta, G.; Leone, N.; Pesenti, V.; Quarta, A.; Ricca, F.; Ritacco, E.; Manco, G.
Compilation of ASP programs: Recent developments
2023-01-01 Dodaro, C.; Mazzotta, G.; Ricca, F.
Declarative Mining of Business Processes via ASP
2022-01-01 Ielo, A.; Pontieri, L.; Ricca, F.
Pinpointing Axioms in Ontologies via ASP
2022-01-01 Penaloza, R.; Ricca, F.
A Neural-Machine-Translation System Resilient to Out of Vocabulary Words for Translating Natural Language to SPARQL
2021-01-01 Borroto, M.; Ricca, F.; Cuteri, B.
Leader-follower formations subject to false data injections: a resilient distributed model predictive approach
2023-01-01 Famularo, D.; Franze', G.; Tedesco, F.; Venturino, A.
Output based resilient model predictive control of Cyber-Physical Systems under cover attacks
2023-01-01 Franze', G.; Famularo, D.; Tedesco, F.
A distributed reinforcement learning and model predictive control architecture for routing decisions in urban road networks
2023-01-01 Giannini, F.; Fortino, G.; Franze', G.; Pupo, F.
An Obstacle-Avoidance Receding Horizon Control Scheme for Constrained Differential-Drive Robot via Dynamic Feedback Linearization
2023-01-01 Tiriolo, C.; Franze', G.; Lucia, W.
A set-theoretic receding horizon control based on a Q-learning approach for sustainability purposes
2023-01-01 Giannini, F.; Franze', G.; Pupo, F.; Fortino, G.
A neural network and model predictive control based resilient architecture for constrained cyber-physical systems
2023-01-01 D’Alfonso, Luigi; Franze', Giuseppe; Giannini, Francesco; Tedesco, Francesco
L’avvenire della patria e dello Stato nel Medioevo: il Dante politico di Giovanni Gentile
2023-01-01 Pupo, Spartaco
An Efficient Hybrid Planning Framework for In-Station Train Dispatching
2021-01-01 Cardellini, M.; Maratea, M.; Vallati, M.; Boleto, G.; Oneto, L.
Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity
2019-01-01 Bertolucci, Riccardo; Capitanelli, Alessio; Maratea, Marco; Mastrogiovanni, Fulvio; Vallati, Mauro
On the Configuration of {SAT} Formulae
2019-01-01 Vallati, Mauro; Maratea, Marco
Automated planning techniques for robot manipulation tasks involving articulated objects
2017-01-01 Capitanelli, A.; Maratea, M.; Mastrogiovanni, F.; Vallati, M.
Back-Analysis of the Post-failure Stage of a Landslide in Sensitive Clays
2023-01-01 Troncone, Antonello; Pugliese, Luigi; Parise, Andrea; Conte, Enrico
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 ...16595
- 1 Contributo su Rivista1
- 2 Contributo in Volume1
- 5 Altro1
Data di pubblicazione
- In corso di stampa40
- 2020 - 20262583
- 2010 - 20196028
- 2000 - 20096298
- 1990 - 19991328
- 1980 - 1989292
- 1973 - 197928
Editore
- Institute of Electrical and Elect...517
- IEEE377
- Springer324
- Springer Verlag161
- CEUR-WS157
- Springer Science and Business Med...148
- IEEE Computer Society136
- Elsevier B.V.128
- ACM89
- Editore Bios58
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE206
- CEUR WORKSHOP PROCEEDINGS73
- PROCEDIA COMPUTER SCIENCE71
- PROCEDIA STRUCTURAL INTEGRITY64
- POS PROCEEDINGS OF SCIENCE49
- AIP CONFERENCE PROCEEDINGS41
- IJCAI41
- PROCEEDINGS OF THE EUROPEAN CONFE...36
- ACM INTERNATIONAL CONFERENCE PROC...33
- AIP CONFERENCE PROCEEDINGS32
Serie
- CEUR WORKSHOP PROCEEDINGS171
- LECTURE NOTES IN COMPUTER SCIENCE127
- LECTURE NOTES IN ARTIFICIAL INTEL...77
- MECHANISMS AND MACHINE SCIENCE51
- AIP CONFERENCE PROCEEDINGS27
- COMMUNICATIONS IN COMPUTER AND IN...23
- LECTURE NOTES IN MECHANICAL ENGIN...22
- IFAC-PAPERSONLINE20
- PROCEDIA CIRP20
- FRONTIERS IN ARTIFICIAL INTELLIGE...18
Keyword
- Computer Science (all)98
- Computer Networks and Communications94
- -87
- Software77
- Artificial Intelligence75
- Answer Set Programming74
- Theoretical Computer Science69
- Computer Science Applications1707...52
- Electrical and Electronic Enginee...47
- Instrumentation37
Lingua
- eng11240
- ita3480
- fre69
- spa30
- rus17
- ger15
- alb13
- und8
- por4
- mul3
Accesso al fulltext
- no fulltext16568
- open22
- embargoed6
- reserved1