Differentiable Inductive Logic Programming Richard Evans, Ed Grefenstette @LittleBimble, @egrefen https://jair.org/index.php/jair/article/view/11172

Source URL: uclmr.github.io

• Computational neuroscience
• Machine learning
• Artificial intelligence
• Cybernetics
• Learning
• Applied mathematics
• Artificial neural networks
• Formal sciences
• Backpropagation
• Inductive programming

25th INTERNATIONAL CONFERENCE ON INDUCTIVE LOGIC PROGRAMMING KYOTO,AUG.20-22,2015 conference & program co-chairs : KATSUMI INOUE, NII / HAYATO OHWADA, Tokyo University of Science / AKIHIRO YAMAMOTO, Kyoto University

Source URL: ilp2015.jp

Inductive Logic Programming meets Relational Databases: An Application to Statistical Relational Learning Marcin Malec, Tushar Khot, James Nagy, Erik Blasch, and Sriraam Natarajan Abstract With the increasing amount of r

Source URL: homes.soic.indiana.edu

Deductive and Inductive Probabilistic Programming Fabrizio Riguzzi Dipartimento di Ingegneria – University of Ferrara Via Saragat 1, I-44122, Ferrara, Italy

Source URL: ceur-ws.org

Towards Integrating Fuzzy Logic Capabilities into an Ontology-based Inductive Logic Programming Framework Josu´e Iglesias Telecommunications Engineering School Technical University of Madrid, Spain Email:

Source URL: jens-lehmann.org

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proving Termination by Dependency Pairs and Inductive Theorem Proving Carsten Fuhs · J¨

Source URL: www.dcs.bbk.ac.uk

• Theoretical computer science
• Logic
• Mathematical logic
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Nqthm
• Rewrite order
• Symbol

Chapter 2 I nducti ve Learni ng This chapter presents an overview of the research in inductive learning. We briefly describe the various aspects of this scientific field and present some examples of applications. We the

Source URL: www.dcc.fc.up.pt

• Machine learning
• Cognition
• Knowledge
• Learning
• Supervised learning
• Inductive logic programming
• Decision tree learning
• Inductive reasoning
• Artificial neural network
• Statistics
• Inference
• Book:Machine Learning The Complete Guide

FCS 2009 Workshop on Foundations of Computer Security July 10th, 2009 Los Angeles, California, USA Affiliated with LICS’09

Source URL: www.loria.fr

• Logic
• Proof theory
• Mathematical logic
• Philosophy
• Sequent
• Linear logic
• Soundness
• Logic programming
• Inductive reasoning

Microsoft Word - IBSS&K Engineering.doc

Source URL: foibg.com

• Computing
• Software engineering
• Software
• Inductive reasoning
• Reasoning
• Object-oriented programming
• Case-based reasoning
• Critical thinking
• Artificial intelligence
• Reasoning system
• Comic book archive
• CBR

HipSpec: Automating Inductive Proofs of Program Properties Koen Claessen Moa Johansson Nicholas Smallbone

Source URL: www.cse.chalmers.se

• Mathematics
• Logic
• Software engineering
• Mathematical proofs
• Automated theorem proving
• Functional languages
• Literate programming
• Graph theory
• Structural induction
• Rippling
• Five lemma
• First-order logic