ACM Computing Surveys
works as
Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review (2024) — Giovanni Ciatto, Federico Sabbatini, Andrea Agiollo, Matteo Magnini, Andrea Omicini Special Issue on Trustworthy AI (2024) — Roberta Calegari, Fosca Giannotti, Francesca Pratesi, Michela Milano Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling (2023) — Roberto Casadei Coordination of Autonomous Vehicles: Taxonomy and Survey (2022) — Stefano Mariani, Giacomo Cabri, Franco Zambonelli A Survey of Methods for Explaining Black Box Models (2018) — Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini, Fosca Giannotti, Dino Pedreschi One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches (2011) — Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi An Application Framework for Intelligent and Mobile Agents (2000) — Elizabeth A. Kendall, P. V. Murali Krishna, C. B. Suresh, Chirag V. Pathak Process Migration (2000) — Dejan S. Milojicic, Fred Douglis, Yves Paindaveine, Richard Wheeler, Songnian Zhou Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial (1990) — Fred B. Schneider How to Write Parallel Programs: A Guide to the Perplexed (1989) — Nicholas Carriero, David Gelernter The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty (1980) — Lee D. Erman, Frederick Hayes-Roth, Victor R. Lesser, D. Raj Reddy