XSB

Results: 16



#Item
1Automatic Refinement Checking for B? Michael Leuschel1,2 and Michael Butler1 1 2

Automatic Refinement Checking for B? Michael Leuschel1,2 and Michael Butler1 1 2

Add to Reading List

Source URL: rodin.cs.ncl.ac.uk

Language: English - Date: 2007-11-21 10:57:32
2Extending partial deduction to tabled execution: some results and open issues Konstantinos Sagonas and Michael Leuschel ACM Computing Surveys, Vol. 30, No. 3es, September 1998 Article 16 Permission to make digital/hard c

Extending partial deduction to tabled execution: some results and open issues Konstantinos Sagonas and Michael Leuschel ACM Computing Surveys, Vol. 30, No. 3es, September 1998 Article 16 Permission to make digital/hard c

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:06:04
3New Wave KRR: Rulelog-based Deep Reasoning with NLP for Financial Regulatory Compliance and More Benjamin Grosof* Coherent Knowledge** Presentation (30-min.)

New Wave KRR: Rulelog-based Deep Reasoning with NLP for Financial Regulatory Compliance and More Benjamin Grosof* Coherent Knowledge** Presentation (30-min.)

Add to Reading List

Source URL: ijcai-16.org

Language: English - Date: 2016-07-22 16:57:54
4The XSB System Version 3.6.x Volume 1: Programmer’s Manual Terrance Swift

The XSB System Version 3.6.x Volume 1: Programmer’s Manual Terrance Swift

Add to Reading List

Source URL: xsb.sourceforge.net

Language: English - Date: 2015-04-23 18:35:32
    5Tabled Execution in Scheme (Scheme Pearl) Jeremiah Willcock Andrew Lumsdaine

    Tabled Execution in Scheme (Scheme Pearl) Jeremiah Willcock Andrew Lumsdaine

    Add to Reading List

    Source URL: repository.readscheme.org

    Language: English - Date: 2012-08-10 19:21:42
    6A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2  {mcarro,herme}@fi.upm.es

    A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es

    Add to Reading List

    Source URL: www.clip.dia.fi.upm.es

    Language: English - Date: 2009-07-09 07:03:26
    7A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2  {mcarro,herme}@fi.upm.es

    A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es

    Add to Reading List

    Source URL: clip.dia.fi.upm.es

    Language: English - Date: 2009-07-09 07:03:26
    8Constraint Handling Rules for SWI-Prolog Tom Schrijvers?1 , Jan Wielemaker2 , and Bart Demoen1 1 2

    Constraint Handling Rules for SWI-Prolog Tom Schrijvers?1 , Jan Wielemaker2 , and Bart Demoen1 1 2

    Add to Reading List

    Source URL: www.swi-prolog.org

    Language: English - Date: 2015-04-03 07:57:28
    9JR Toyota Tacoma XSB Instructions 056.indd

    JR Toyota Tacoma XSB Instructions 056.indd

    Add to Reading List

    Source URL: www.tonneau-covers-online.com

    Language: English - Date: 2007-11-25 11:31:50
    10XAVIER SOCIETY FOR THE BLIND 2 PENN PLAZA, SUITE 1102 NEW YORK, NY[removed][removed]9193 [removed] XSB SPIRTUAL ESSENTIALS – BRAILLE

    XAVIER SOCIETY FOR THE BLIND 2 PENN PLAZA, SUITE 1102 NEW YORK, NY[removed][removed]9193 [removed] XSB SPIRTUAL ESSENTIALS – BRAILLE

    Add to Reading List

    Source URL: www.xaviersocietyfortheblind.org

    Language: English - Date: 2014-04-04 15:58:08