logic-programming   254

« earlier    

miniKanren is an embedded Domain Specific Language for logic programming.
october 2018 by ghiden
[1805.10872] DeepProbLog: Neural Probabilistic Logic Programming
We introduce DeepProbLog, a probabilistic logic programming language that incorporates deep learning by means of neural predicates. We show how existing inference and learning techniques can be adapted for the new language. Our experiments demonstrate that DeepProbLog supports both symbolic and subsymbolic representations and inference, 1) program induction, 2) probabilistic (logic) programming, and 3) (deep) learning from examples. To the best of our knowledge, this work is the first to propose a framework where general-purpose neural networks and expressive probabilistic-logical modeling and reasoning are integrated in a way that exploits the full expressiveness and strengths of both worlds and can be trained end-to-end based on examples.
neural-net  logic-programming  probabilistic-programming 
june 2018 by arsyed

« earlier    

related tags

**  abstract-machine  ai  algorithms  argumentation  artificial-intelligence  asp  automated-proof  bayesian  bioinformatics  book  books  category-theory  cellular-automata  cf:lee-spector  circuit-design  clojure  clp  computational-complexity  computer-science  concurrency  consider:looking-to-see  consider:performance-measures  consider:rediscovery  consider:representation  constraint-modeling  constraint-progamming  constraint-programming  constraint-satisfaction  constraints  continuous-integration  cool  coq  core.logic  cosmos  course-materials  data-mining  data-science  database-query-language  databases  declarative-programming  digital-systems  documentation  dvm  ebook  ebooks  educational  electrical-engineering  engineering-design  feels-evolvable  formal-design  formal-languages  formal-modeling  formal-verification  formalization  free  fsharp  functional-programming  functional  game-design  game-programming  gaussian-processes  generative-art  graph-rewriting  hacker-news-comments  hn  information-theory  interactive-fiction  jvm  kanren  lambda-calculus  language-design  language  library  lisp  logic  machine-learning  make  manual  mathematical-programming  mathematical-recreations  mathematics  minikanren  minizinc  mit  narrative  neural-net  neural-networks  nudge-targets  number-theory  ocaml  oleg-kiselyov  ontology  oop  optimization  papers  parallel  parser-combinators  pdf  performance-measure  picat  pl  planning  plt  pluscal  prediction  probabilistic-programming  probabilistic  processor-architecture  proglang  programming-language  programming  prolog  proof  puzzles  pythological  python  quantums  rather-interesting  reference  reinforcement-learning  relational  representation  scala  scheme  semantics  sicp  simulation  software-design  software-testing  solvers  spec-language  static-analysis  statistical-learning  statistics  streaming-video  swift  systems-programming  talks  test-driven-development  the-mangle-in-practice  tla+  to-learn  to-read  to:read  travis-ci  tsukuba  tutorial  typed  verification  verilog  video-lectures  virtual-machine  visualization  warelogging  warren-abstract-machine  wikipedia  yukiyoshi-kameyama  z3  zinc 

Copy this bookmark: