Design of Knowledge Analytics Tools for Workplace Learning Maria A Schett, Stefan Thalmann & Ronald K Maier , {stefan.thalmann, ronald.maier}@uibk.ac.at FG-WM @ LWDA 2016 @ Potsdam, 2016 | 09 | 12

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

• Education
• Economy
• Educational psychology
• Neuropsychology
• Business intelligence
• Big data
• Formal sciences
• Analytics
• Architectural pattern
• Educational technology
• Learning
• Learning analytics

Model Checking Probabilistic Knowledge: A PSPACE Case Xiaowei Huang and Marta Kwiatkowska University of Oxford, UK Abstract Model checking probabilistic knowledge of memoryful semantics is undecidable, even for a simple

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

• Temporal logic
• Mathematics
• Mathematical analysis
• Theoretical computer science
• Linear temporal logic
• Computation tree logic
• IP
• Symbol
• Distribution
• Craig interpolation
• Universal representation

LEGAL KNOWLEDGE AND INFORMATION SYSTEMS Frontiers in Artificial Intelligence and Applications The book series Frontiers in Artificial Intelligence and Applications (FAIA) covers all aspects of theoretical and applied A

Source URL: orbilu.uni.lu

• Computer law
• Artificial intelligence
• Trevor Bench-Capon
• JURIX
• Applications of artificial intelligence to legal informatics
• Leon van der Torre
• Ambient intelligence
• Computer science

Ontological Networks: Mapping Ontological Knowledge Bases into Graphs Lucas Fonseca Navarro Federal University of Sao Carlos Sao Carlos - SP, Brazil

Source URL: gdac.uqam.ca

• Graph theory
• Mathematics
• Discrete mathematics
• Graph
• Ear decomposition
• Connectivity
• Ontology
• Connected component
• Line graph

Hierarchy-Based Link Prediction in Knowledge Graphs

Source URL: gdac.uqam.ca

• Discrete mathematics
• Line graph
• Tree
• Mathematics
• Theoretical computer science

ZKProof Charter Boston, May 10th and 11th 2018 The goal of the ZKProof Standardardization effort is to advance the use of Zero Knowledge Proof technology by bringing together experts from industry and academia. To furthe

Source URL: zkproof.org

• Information science
• Social media
• Computing
• World Wide Web
• Twitter
• Computer jargon
• Hashtag
• Knowledge representation
• Web 2.0
• Technology

ZKBoo: Faster Zero-Knowledge for Boolean Circuits Irene Giacomelli Jesper Madsen Claudio Orlandi

Source URL: eprint.iacr.org

• Cryptography
• Computational complexity theory
• Randomized algorithms
• Zero-knowledge proof
• IP
• Proof of knowledge
• Non-interactive zero-knowledge proof
• Secure multi-party computation
• Soundness
• Commitment scheme
• Probabilistically checkable proof
• NP

2015 IEEE Symposium on Security and Privacy Secure Sampling of Public Parameters for Succinct Zero Knowledge Proofs Eli Ben-Sasson§ , Alessandro Chiesa∗ , Matthew Green† , Eran Tromer¶ , Madars Virza‡ ∗ ETH

Source URL: www.ieee-security.org

in Knowledge Engineering Reviews, 2001 Synthesis of EÆcient Constraint Satisfaction Programs Stephen J. Westfold and Douglas R. Smith Kestrel Institute 3260 Hillview Avenue

Source URL: www.kestrel.edu

• Constraint programming
• Mathematics
• Lattice theory
• Mathematical optimization
• Applied mathematics
• Constraint satisfaction
• Local consistency
• Semilattice
• Linear programming
• Optimization problem
• Constraint
• Feasible region

Learning Inductive Biases with Simple Neural Networks Reuben Feinman () Center for Neural Science New York University Abstract People use rich prior knowledge about the world in order to

Source URL: cims.nyu.edu

• Artificial neural networks
• Computational neuroscience
• Artificial intelligence
• Learning
• Applied mathematics
• Machine learning
• Computational statistics
• Computer vision
• Convolutional neural network
• Deep learning
• Concept learning
• One-shot learning