A Prolog-Based MAS for Railway Signalling Monitoring: Implementation and Experiments
2008-01-01 Briola, D; Mascardi, V; Martelli, M; Arecco, G; Caccia, R; Milani, C
Distributed runtime verification of JADE and Jason Multiagent systems with prolog
2014-01-01 Briola, D; Mascardi, V; Ancona, D
The Indiana MAS project: Goals and preliminary results
2012-01-01 Mascardi, V; Briola, D; Locoro, A; Martelli, M; Ancona, M; Deufemia, V; Paolino, L; Tortora, G; Francese, R; Polese, G
Dynamic Resource Allocation in MAS: a Case Study from the Industry
2009-01-01 Briola, D; Mascardi, V; Martelli, M; Caccia, R; Milani, C
Specification, simulation and verification of negotiation protocols in a unified agent-based framework
2010-01-01 Briola, D; Martelli, M; Mascardi, V
Multi Agent Resource Allocation: a Comparison of Five Negotiation Protocols
2011-01-01 Briola, D; Mascardi, V
Efficient verification of MASs with projections
2014-01-01 Ancona, D; Briola, D; Seghrouchni, Aef; Mascardi, V; Taillibert, P
MUSE: MUltilinguality and SEmantics for the citizens of the world
2013-01-01 Bozzano, M; Briola, Daniela; Leone, D; Locoro, Angela; Marasso, L; Mascardi, V.
Protocols with exceptions, timeouts, and handlers: A uniform framework for monitoring fail-uncontrolled and ambient intelligence systems
2015-01-01 Ancona, D; Briola, D; Mascardi, V
Ontology agents in FIPA-compliant platforms: A survey and a new proposal
2008-01-01 Briola, Daniela; Locoro, Angela; Mascardi, V.
Computational thinking for beginners: A successful experience using prolog
2015-01-01 Beux, S; Briola, D; Corradi, A; Delzanno, G; Ferrando, A; Frassetto, F; Guerrini, Gabriella; Mascardi, V; Oreggia, M; Pozzi, F; Solimando, A; Tacchella, A
MAS-DRiVe: A practical approach to decentralized runtime verification of agent interaction protocols
2016-01-01 Ancona, D; Briola, D; Ferrando, A; Mascardi, V
My mood, a multimedia and multilingual ontology driven MAS: Design and first experiments in the sentiment analysis domain
2015-01-01 Leotta, M; Beux, S; Mascardi, V; Briola, D
Positronium Rydberg excitation diagnostic in a 1T cryogenic environment
2019-01-01 Caravita, R.; Mariazzi, S.; Aghion, S.; Amsler, C.; Antonello, M.; Belov, A.; Bonomi, G.; Brusa, R. S.; Caccia, M.; Camper, A.; Castelli, F.; Cerchiari, G.; Comparat, D.; Consolati, G.; Demetrio, A.; Di Noto, L.; Doser, M.; Evans, C.; Fani, M.; Ferragut, R.; Fesel, J.; Fontana, A.; Gerber, S.; Giammarchi, M.; Gligorova, A.; Guatieri, F.; Hackstock, P.; Haider, S.; Hinterberger, A.; Holmestad, H.; Kellerbauer, A.; Khalidova, O.; Krasnicky, D.; Lagomarsino, V.; Lansonneur, P.; Lebrun, P.; Malbrunot, C.; Marton, J.; Matveev, V.; Muller, S. R.; Nebbia, G.; Nedelec, P.; Oberthaler, M.; Pagano, D.; Penasa, L.; Petracek, V.; Prelz, F.; Prevedelli, M.; Rienaecker, B.; Robert, J.; Rohne, O. M.; Rotondi, A.; Sandaker, H.; Santoro, R.; Smestad, L.; Sorrentino, F.; Testera, G.; Tietje, I. C.; Vujanovic, M.; Widmann, E.; Yzombard, P.; Zimmer, C.; Zmeskal, J.; Zurlo, N.
Wigner function reconstruction by hybrid photodetectors in the linear regime
2009-01-01 Bondani, M.; Allevi, A.; Andreoni, A.
Database as a service: Challenges and solutions for privacy and security
2009-01-01 Ferrari, E.
New proposal for the assessment of the impact of EVs, smart charging and V2G on the grid
2013-01-01 Anglani, Norma; Fattori, Fabrizio; Muliere, Giuseppe
Two Applications of Concept Refinement
2017-01-01 Confalonieri, R; Troquard, N; Galliani, P; Kutz, O; Peñaloza, R; Porello, D
Towards knowledge-driven distillation and explanation of black-box models
2021-01-01 Confalonieri, R.; Galliani, P.; Kutz, O.; Porello, D.; Righetti, G.; Troquard, N.
Intersezioni tra diritto e arte: il caso delle restituzioni dei beni culturali
2023-01-01 Magri, Geo; Cenini, Marta
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Prolog-Based MAS for Railway Signalling Monitoring: Implementation and Experiments | 1-gen-2008 | Briola, D; Mascardi, V; Martelli, M; Arecco, G; Caccia, R; Milani, C | |
| Distributed runtime verification of JADE and Jason Multiagent systems with prolog | 1-gen-2014 | Briola, D; Mascardi, V; Ancona, D | |
| The Indiana MAS project: Goals and preliminary results | 1-gen-2012 | Mascardi, V; Briola, D; Locoro, A; Martelli, M; Ancona, M; Deufemia, V; Paolino, L; Tortora, G; Francese, R; Polese, G | |
| Dynamic Resource Allocation in MAS: a Case Study from the Industry | 1-gen-2009 | Briola, D; Mascardi, V; Martelli, M; Caccia, R; Milani, C | |
| Specification, simulation and verification of negotiation protocols in a unified agent-based framework | 1-gen-2010 | Briola, D; Martelli, M; Mascardi, V | |
| Multi Agent Resource Allocation: a Comparison of Five Negotiation Protocols | 1-gen-2011 | Briola, D; Mascardi, V | |
| Efficient verification of MASs with projections | 1-gen-2014 | Ancona, D; Briola, D; Seghrouchni, Aef; Mascardi, V; Taillibert, P | |
| MUSE: MUltilinguality and SEmantics for the citizens of the world | 1-gen-2013 | Bozzano, M; Briola, Daniela; Leone, D; Locoro, Angela; Marasso, L; Mascardi, V. | |
| Protocols with exceptions, timeouts, and handlers: A uniform framework for monitoring fail-uncontrolled and ambient intelligence systems | 1-gen-2015 | Ancona, D; Briola, D; Mascardi, V | |
| Ontology agents in FIPA-compliant platforms: A survey and a new proposal | 1-gen-2008 | Briola, Daniela; Locoro, Angela; Mascardi, V. | |
| Computational thinking for beginners: A successful experience using prolog | 1-gen-2015 | Beux, S; Briola, D; Corradi, A; Delzanno, G; Ferrando, A; Frassetto, F; Guerrini, Gabriella; Mascardi, V; Oreggia, M; Pozzi, F; Solimando, A; Tacchella, A | |
| MAS-DRiVe: A practical approach to decentralized runtime verification of agent interaction protocols | 1-gen-2016 | Ancona, D; Briola, D; Ferrando, A; Mascardi, V | |
| My mood, a multimedia and multilingual ontology driven MAS: Design and first experiments in the sentiment analysis domain | 1-gen-2015 | Leotta, M; Beux, S; Mascardi, V; Briola, D | |
| Positronium Rydberg excitation diagnostic in a 1T cryogenic environment | 1-gen-2019 | Caravita, R.; Mariazzi, S.; Aghion, S.; Amsler, C.; Antonello, M.; Belov, A.; Bonomi, G.; Brusa, R. S.; Caccia, M.; Camper, A.; Castelli, F.; Cerchiari, G.; Comparat, D.; Consolati, G.; Demetrio, A.; Di Noto, L.; Doser, M.; Evans, C.; Fani, M.; Ferragut, R.; Fesel, J.; Fontana, A.; Gerber, S.; Giammarchi, M.; Gligorova, A.; Guatieri, F.; Hackstock, P.; Haider, S.; Hinterberger, A.; Holmestad, H.; Kellerbauer, A.; Khalidova, O.; Krasnicky, D.; Lagomarsino, V.; Lansonneur, P.; Lebrun, P.; Malbrunot, C.; Marton, J.; Matveev, V.; Muller, S. R.; Nebbia, G.; Nedelec, P.; Oberthaler, M.; Pagano, D.; Penasa, L.; Petracek, V.; Prelz, F.; Prevedelli, M.; Rienaecker, B.; Robert, J.; Rohne, O. M.; Rotondi, A.; Sandaker, H.; Santoro, R.; Smestad, L.; Sorrentino, F.; Testera, G.; Tietje, I. C.; Vujanovic, M.; Widmann, E.; Yzombard, P.; Zimmer, C.; Zmeskal, J.; Zurlo, N. | |
| Wigner function reconstruction by hybrid photodetectors in the linear regime | 1-gen-2009 | Bondani, M.; Allevi, A.; Andreoni, A. | |
| Database as a service: Challenges and solutions for privacy and security | 1-gen-2009 | Ferrari, E. | |
| New proposal for the assessment of the impact of EVs, smart charging and V2G on the grid | 1-gen-2013 | Anglani, Norma; Fattori, Fabrizio; Muliere, Giuseppe | |
| Two Applications of Concept Refinement | 1-gen-2017 | Confalonieri, R; Troquard, N; Galliani, P; Kutz, O; Peñaloza, R; Porello, D | |
| Towards knowledge-driven distillation and explanation of black-box models | 1-gen-2021 | Confalonieri, R.; Galliani, P.; Kutz, O.; Porello, D.; Righetti, G.; Troquard, N. | |
| Intersezioni tra diritto e arte: il caso delle restituzioni dei beni culturali | 1-gen-2023 | Magri, Geo; Cenini, Marta |
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
- Atti di Convegno3770
Data di pubblicazione
- In corso di stampa4
- 2020 - 2026527
- 2010 - 20191597
- 2000 - 20091063
- 1990 - 1999376
- 1980 - 1989178
- 1971 - 197925
Editore
- Institute of Electrical and Elect...102
- Springer93
- IEEE Computer Society77
- IEEE72
- ACM50
- Springer Verlag45
- CEUR-WS27
- Optica Publishing Group (formerly...27
- WITPress23
- Springer Science and Business Med...22
Rivista
- GIORNALE ITALIANO DI MEDICINA DEL...3
- ACM INTERNATIONAL CONFERENCE PROC...1
- CLINICAL TOXICOLOGY1
- IEEE TRANSACTIONS ON NEURAL SYSTE...1
- INTERNATIONAL JOURNAL OF ENERGY P...1
- JAHRBUCH FÜR INTERNATIONALE GERMA...1
- LECTURE NOTES IN COMPUTER SCIENCE1
- NEUROCOMPUTING1
- RIVISTA ARCHEOLOGICA DELL'ANTICA ...1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE66
- CEUR WORKSHOP PROCEEDINGS52
- Optics InfoBase Conference Papers38
- PROCEEDINGS OF SPIE, THE INTERNAT...29
- LECTURE NOTES IN ARTIFICIAL INTEL...25
- WIT TRANSACTIONS ON ECOLOGY AND T...17
- AIP CONFERENCE PROCEEDINGS13
- WIT TRANSACTIONS ON ECOLOGY AND T...12
- INTERNATIONAL ASTRONAUTICAL CONGR...8
- LECTURE NOTES IN COMPUTER SCIENCE8
Keyword
- MSW40
- Computer Networks and Communications22
- bio-drying21
- Physics and Astronomy (all)21
- Electrical and Electronic Enginee...20
- Computer Science (all)18
- Nuclear and High Energy Physics18
- SETI18
- Software18
- selective collection17
Lingua
- eng1297
- ita361
- fre16
- spa7
- ger5
- rus3
- gre2
- und2
- enm1
- mul1
Accesso al fulltext
- no fulltext3332
- reserved291
- open137
- restricted10