Per tipo
Per tipo
31 pubblicazioni / 2018
| Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning Big Data and Cognitive Computing 2(3), 2018 |
| Giorgio Audrito, Ferruccio Damiani, Mirko Viroli Optimal single-path information propagation in gradient-based algorithms Science of Computer Programming 166, 2018 |
| Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini Spatial Tuples: Augmenting Reality with Tuples Expert Systems: The Journal of Knowledge Engineering 35(5), ottobre 2018 |
| Zachary C. Lipton The mythos of model interpretability Communications of the ACM 61(10), ottobre 2018 |
| Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini Extending Logic Programming with Labelled Variables: Model and Semantics Fundamenta Informaticae 161(1-2), luglio 2018 |
| Roberto Casadei, Alessandro Aldini, Mirko Viroli Towards attack-resistant Aggregate Computing using trust mechanisms Science of Computer Programming 167, 2018 |
| M. Armano, H. Audley, J. Baird, M. Bassan, S. Benella, P. Binetruy, M. Born, D. Bortoluzzi, A. Cavalleri, A. Cesarini, A. M. Cruise, K. Danzmann, K. de Deus Silva, I. Diepholz, G. Dixon, R. Dolesi, M. Fabi, L. Ferraioli, V. Ferroni, N. Finetti, E. D. Fitzsimons, M. Freschi, L. Gesa, F. Gibert, D. Giardini, R. Giusteri, C. Grimani, J. Grzymisch, I. Harrison, G. Heinzel, M. Hewitson, D. Hollington, D. Hoyland, M. Hueller, H. Inchauspé, O. Jennrich, P. Jetzer, N. Karnesis, B. Kaune, N. Korsakova, C. J. Killow, M. Laurenza, J. A. Lobo, I. Lloro, L. Liu, J. P. López-Zaragoza, R. Maarschalkerweerd, D. Mance, V. Martín, L. Martin-Polo, J. Martino, F. Martin-Porqueras, I. Mateos, P. W. McNamara, J. Mendes, L. Mendes, M. Nofrarias, S. Paczkowski, M. Perreur-Lloyd, A. Petiteau, P. Pivato, E. Plagnol, J. Ramos-Castro, J. Reiche, D. I. Robertson, F. Rivas, G. Russano, Federico Sabbatini, J. Slutsky, C. F. Sopuerta, T. Sumner, D. Tellon, D. Texier, J. I. Thorpe, D. Vetrugno, S. Vitale, G. Wanner, H. Ward, P. Wass, W. J. Weber, L. Wissel, A. Wittchen, A. Zambotti, C. Zanoni, P. Zweifel Characteristics and Energy Dependence of Recurrent Galactic Cosmic-Ray Flux Depressions and of a Forbush Decrease with LISA Pathfinder The Astrophysical Journal 854(2), febbraio 2018 |
| Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini Engineering Resilient Collective Adaptive Systems by Self-Stabilisation ACM Transactions on Modeling and Computer Simulation 28(2), marzo 2018 |
| Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini, Fosca Giannotti, Dino Pedreschi A Survey of Methods for Explaining Black Box Models ACM Computing Surveys 51(5), agosto 2018 |
| Simon Mayer, Andrei Ciortea, Alessandro Ricci, Maria Ines Robles, Matthias Kovatsch, Angelo Croatti Hypermedia to connect them all autonomous hypermedia agents and sociotechnical interactions Internet Technology Letters 1(4), 2018 |
| Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini Logic Programming as a Service Theory and Practice of Logic Programming 18(5-6), settembre 2018 |
| Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli Space-Time Universality of Field Calculus ALP4IoT2017. Lecture Notes in Computer Science 10852, 2018 |
| Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli Distributed Speaking Objects: a Case for Massive Multiagent Systems International Workshop on Massively Multi-Agent Systems, 2018 |
| Roberto Casadei, Mirko Viroli Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS* W), 2018 |
| Angelo Croatti, Alessandro Ricci Developing Agent-Based Pervasive Mixed Reality Systems: The MiRAgE Framework Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018 |
| Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS Globe-IoT 2018, 17-20 April 2018 |
| Angelo Croatti, Alessandro Ricci A Model and Platform for Building Agent-Based Pervasive Mixed Reality Systems Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018 |
| Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain GOODTECHS 2018, novembre 2018 |
| Giovanni Ciatto, Stefano Mariani, Andrea Omicini Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum BCT4MAS 2018, dicembre 2018 |
| Stefano Mariani Coordination of Complex Socio-technical Systems: Challenges and Opportunities ALP4IoT2017. Lecture Notes in Computer Science 11176, 2018 |
| Giorgio Audrito, Ferruccio Damiani, Mirko Viroli Aggregate Graph Statistics ALP4IoT2017. Electronic Proceedings in Theoretical Computer Science 264, 2018 |
| Sara Montagna, Michele Braccini, Andrea Roli The Impact of Self-loops in Random Boolean Network Dynamics: A Simulation Analysis Artificial Life and Evolutionary Computation, 2018 |
| Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things 4th IEEE World Forum on Internet of Things, WF-IoT 2018, Singapore, February 5-8, 2018, 2018 |
| Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini From Field-Based Coordination to Aggregate Computing COORDINATION 2018. Lecture Notes in Computer Science 10852, 2018 |
| Roberto Casadei, Alessandro Aldini, Mirko Viroli Combining Trust and Aggregate Computing Software Engineering and Formal Methods. Lecture Notes in Computer Science 10729, 2018 |
| Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini Logic Programming in Space-Time: The Case of Situatedness in LPaaS WOA 2018. CEUR Workshop Proceedings 2215, 29–30 June 2018 |
| Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini Distributed Real-Time Shortest-Paths Computations with the Field Calculus 2018 IEEE Real-Time Systems Symposium (RTSS), dicembre 2018 |
| Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini From the Blockchain to Logic Programming and Back: Research Perspectives WOA 2018. CEUR Workshop Proceedings 2215, giugno 2018 |