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

Kruskal’s Tree Theorem for Term Graphs Georg Moser Maria A Schett TERMGRAPH 2016, Eindhoven

Source URL: www.maria-a-schett.net

• Mathematics
• Graph theory
• Discrete mathematics
• Mathematical logic
• Wellfoundedness
• Logic in computer science
• Rewriting
• Kruskal's tree theorem
• Graph

Implementation And Evaluation Of The Knowledge Element Preparation Model MASTERTHESIS Zur Erlangung des akademischen Grades “Master of Science” im Studiengang Wirtschaftsinformatik

Source URL: www.maria-a-schett.net

• Business software
• Decision support system
• Knowledge engineering
• Systems engineering
• Evaluation
• Decision model
• Design science
• Kep
• Knowledge
• Engineering
• Science

Hijacking Bitcoin: Routing Attacks on Cryptocurrencies https://btc-hijack.ethz.ch Maria Apostolaki Aviv Zohar

Source URL: www.ieee-security.org

• Cryptocurrencies
• Computing
• Bitcoin
• Internet
• Free software
• Alternative currencies
• Blockchains
• Internet security
• BGP hijacking
• Mining pool
• Ghash.io
• Denial-of-service attack

Gemeinsame Verwaltung / Joint Administration Geschäftsführer V&T / General Manager Volker Maria Geiss + Übersetzung

Source URL: www.mpi-klsb.mpg.de

Probabilistic Mobile Ambients Marta Kwiatkowskaa , Gethin Norman∗,a , David Parkera , Maria Grazia Vigliottib a Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD of Computing, Imperi

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

• Mathematics
• Mathematical logic
• Theoretical computer science
• Logic in computer science
• Temporal logic
• Process calculi
• Ambient calculus
• Computation tree logic
• Bisimulation
• Propositional calculus
• Distribution
• Well-formed formula

TESTIMONY by His Excellency Carlo Maria Viganò Titular Archbishop of Ulpiana Apostolic Nuncio In this tragic moment for the Church in various parts of the world — the United States, Chile, Honduras,

Source URL: assets.documentcloud.org

• Roman Curia
• Cardinals created by Pope John Paul II
• Cardinals created by Pope Francis
• Cardinals created by Pope Benedict XVI
• Theodore Edgar McCarrick
• Carlo Maria Vigan
• Kevin Farrell
• Joseph W. Tobin
• Donald Wuerl
• Blase J. Cupich
• Catholic Church sexual abuse cases
• Tarcisio Bertone

From Trees To Graphs: Understanding The Implications Of Sharing For Rewriting Student. Maria A Schett University of Innsbruck Technikerstrasse 21a

Source URL: www.maria-a-schett.net

• Theoretical computer science
• Mathematics
• Graph theory
• Formal languages
• Logic in computer science
• Graph rewriting
• Mathematical logic
• Rewriting
• Graph
• KnuthBendix completion algorithm
• Abstract semantic graph
• Tree

master thesis in computer science by Maria A Schett submitted to the Faculty of Mathematics, Computer Science and Physics of the University of Innsbruck

Source URL: www.maria-a-schett.net

• Theoretical computer science
• Mathematics
• Formal languages
• Discrete mathematics
• Graph theory
• Graph rewriting
• Logic in computer science
• Rewriting
• Rewrite order
• Confluence
• Graph
• Abstract semantic graph

Termgraph Rewriting Maria Schett Supervisors: Martin Avanzini, Georg Moser November 8, 2011

Source URL: www.maria-a-schett.net

• Theoretical computer science
• Programming language theory
• Mathematics
• Formal languages
• Mathematical logic
• Logic in computer science
• Computability theory
• Rewriting
• Normal form
• Graph rewriting
• Pure
• Term