Logic programming

Results: 2694



#Item
1Under consideration for publication in Theory and Practice of Logic Programming  1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗

Under consideration for publication in Theory and Practice of Logic Programming 1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗

Add to Reading List

Source URL: jorgenavas.github.io

Language: English - Date: 2018-10-25 12:43:22
2Differentiable Inductive Logic Programming Richard Evans, Ed Grefenstette @LittleBimble, @egrefen https://jair.org/index.php/jair/article/view/11172

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

Add to Reading List

Source URL: uclmr.github.io

Language: English - Date: 2018-08-06 06:17:49
3WHAT IS SPACECHEM? SpaceChem is an intriguing,

WHAT IS SPACECHEM? SpaceChem is an intriguing, "problem-solving centric" puzzle game by Zachtronics Industries that combines the logic of computer programming with the scientific domain of chemistry, set in an original s

Add to Reading List

Source URL: www.zachtronics.com

Language: English - Date: 2018-08-16 12:44:12
    4Experiences Using an Interactive Presentation Platform in a Functional and Logic Programming Course

    Experiences Using an Interactive Presentation Platform in a Functional and Logic Programming Course

    Add to Reading List

    Source URL: www.pautasso.info

    Language: English - Date: 2018-01-31 07:50:00
      5See	discussions,	stats,	and	author	profiles	for	this	publication	at:	https://www.researchgate.net/publicationAnalysis	of	Performance	of	Various	Activation Functions	for	doing	the	logic	programming	in Hopfield

      See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publicationAnalysis of Performance of Various Activation Functions for doing the logic programming in Hopfield

      Add to Reading List

      Source URL: ccl.northwestern.edu

      Language: English - Date: 2018-03-02 17:34:20
        6αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu

        αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu

        Add to Reading List

        Source URL: repository.readscheme.org

        Language: English - Date: 2012-08-10 19:21:16
          7Modelling logic programming: an LFCS adventure John Power, University of Bath I was introduced to logic programming by Leon Sterling in 1988–89, the year before I came to Edinburgh. That was already informed by LFCS: L

          Modelling logic programming: an LFCS adventure John Power, University of Bath I was introduced to logic programming by Leon Sterling in 1988–89, the year before I came to Edinburgh. That was already informed by LFCS: L

          Add to Reading List

          Source URL: events.inf.ed.ac.uk

          Language: English - Date: 2017-06-14 03:23:26
            8Flog	
  :	
  Logic	
  Programming	
  for	
   So1ware	
  Defined	
  Networks	
   Naga	
  Praveen	
  Ka=a,	
  	
   Jennifer	
  Rexford,	
  David	
  Walker	
   Princeton	
  University	
  

            Flog  :  Logic  Programming  for   So1ware  Defined  Networks   Naga  Praveen  Ka=a,     Jennifer  Rexford,  David  Walker   Princeton  University  

            Add to Reading List

            Source URL: frenetic-lang.org

            Language: English - Date: 2018-03-01 22:09:42
              9Constructive Algebra in Functional Programming and Type Theory Master of Science Thesis in the Programme Computer Science – Algorithms, Languages and Logic  1234567895AB45C

              Constructive Algebra in Functional Programming and Type Theory Master of Science Thesis in the Programme Computer Science – Algorithms, Languages and Logic 1234567895AB45C

              Add to Reading List

              Source URL: web.student.chalmers.se

              Language: English - Date: 2010-08-22 03:55:59
                1025th 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

                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

                Add to Reading List

                Source URL: ilp2015.jp

                - Date: 2015-05-22 20:13:35