Inductive logic programming - PDFSEARCH.IO - Document Search Engine

Inductive logic programming
Results: 65

#	Item
61	Dependently Typed Functional Programs and their Proofs Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Type theory Mathematical logic Dependently typed programming Data types Functional languages Unification Functional programming Inductive data type Monad Software engineering Computer programming Computing
62	Dependently Typed Functional Programs and their Proofs Add to Reading List Source URL: www.lfcs.inf.ed.ac.uk Language: English - Date: 2000-09-13 12:40:18 Type theory Data types Mathematical logic Dependently typed programming Functional languages Unification Functional programming Inductive data type Monad Software engineering Computer programming Computing
63	Calculus of Inductive Constructions Software Formal Verification Maria Jo˜ao Frade Add to Reading List Source URL: www3.di.uminho.pt Language: English - Date: 2009-06-24 07:52:22 Logic Programming language theory Calculus of constructions Entailment Typed lambda calculus Lambda cube Simply typed lambda calculus Type constructor Pure type system Type theory Lambda calculus Theoretical computer science
64	PDF Document Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2013-06-27 19:09:09 Computer programming Programming idioms Theoretical computer science Inductive reasoning Mathematical proofs Recursion Recursive definition Mathematical induction Intuitionistic type theory Mathematics Logic Mathematical logic
65	PDF Document Add to Reading List Source URL: www4.comp.polyu.edu.hk Language: English - Date: 2002-01-21 00:47:30 Cognition Inductive reasoning Expert systems Decision theory Case-based reasoning Reasoning system Problem solving Inference engine Logic programming Reasoning Science Artificial intelligence

UPDATE