<--- Back to Details
First PageDocument Content
Reasoning / Epistemology / Statistical inference / Inductive reasoning / Problem solving / Inductive logic programming / Logic programming / Machine learning / Deductive reasoning / Science / Logic / Knowledge
Date: 2009-01-04 08:03:51
Reasoning
Epistemology
Statistical inference
Inductive reasoning
Problem solving
Inductive logic programming
Logic programming
Machine learning
Deductive reasoning
Science
Logic
Knowledge

Collaborative Inductive Logic Programming for Path Planning

Add to Reading List

Source URL: people.eng.unimelb.edu.au

Download Document from Source Website

File Size: 229,62 KB

Share Document on Facebook

Similar Documents

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

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

DocID: 1xTa2 - View Document

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

DocID: 1tWtq - View Document

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

DocID: 1t6bW - View Document

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:

DocID: 1sU6u - View Document

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

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

DocID: 1reYE - View Document