Automated Reasoning for EXplainable Artificial Intelligence Maria Paola Bonacina Dipartimento di Informatica Universit` a degli Studi di Verona

Source URL: www.cs.man.ac.uk

• Artificial intelligence
• Logic
• Cognitive science
• Automated reasoning
• Reasoning
• Accountability
• Technology
• Automated theorem proving
• Explainable Artificial Intelligence
• Xai
• Inference

Automated Reasoning for Explainable Artificial Intelligence∗ Maria Paola Bonacina1 Dipartimento di Informatica Universit` a degli Studi di Verona Strada Le Grazie 15

Source URL: www.cs.man.ac.uk

• Artificial intelligence
• Cognitive science
• Logic
• Cognition
• Cybernetics
• Automated reasoning
• Automated theorem proving
• Computational neuroscience
• Explainable Artificial Intelligence
• Mark E. Stickel
• Reason
• Inference

Synthesis and verification of self-aware systems Radu Calinescu, Marco Autili, Javier C´amara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska

Source URL: qav.comlab.ox.ac.uk

• Computing
• Electronic engineering
• Theoretical computer science
• Electronic design automation
• Service choreography
• Formal verification
• Orchestration
• Autonomic computing
• Transition
• Business Process Execution Language
• High-level synthesis
• Systems engineering

CoreFlow: Enriching Bro security events using network traffic monitoring data Ralph Koninga,b,∗, Nick Buragliob , Cees de Laata,b , Paola Grossoa a Universiteit b Energy van Amsterdam, Science Park 904, Amsterdam, The

Source URL: delaat.net

Assigning Function Labels to Unparsed Text Paola Merlo∗ Department of Linguistics University of Geneva 2 rue de Candolle

Source URL: www.latl.unige.ch

Proceedings of Incontro di Grammatica Generativa XXX, Venice, Italy, STRUCTURE AND FREQUENCY IN VERB CLASSIFICATION Paola Merlo University of Geneva

Source URL: www.latl.unige.ch

Like a Variance Paola Berchialla, Luca Grassano, Corrado Lanera, Davide Menardi 08 settembre 2015 Analisi Pacchetti

Source URL: sus.stat.unipd.it

Accurate Function Parsing Paola Merlo Department of Linguistics University of Geneva 1204 Geneva Switzerland

Source URL: www.latl.unige.ch

Stability of extreme ultraviolet multilayer coatings to low energy proton bombardment M.G. Pelizzo,1,2,* Alain Jody Corso,1,2 Paola Zuppella,1,2 D.L. Windt,3 G. Mattei,4 P. Nicolosi1,2 1

Source URL: www.rxollc.com

Gener-Azioni. Nuove frontiere della conciliazione e della condivisione Torino, 19 febbraio 2016 LA FLESSIBILITÀ COME OPPORTUNITÀ E VINCOLO UN APPROCCIO MULTIDISCIPLINARE a cura di Sonia Bertolini e Paola Maria Torrioni

Source URL: www.senonoraquando-torino.it