XSB - PDFSEARCH.IO - Document Search Engine

XSB
Results: 16

#	Item
1	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 Software engineering Computing Formal methods Refinement FDR Model checking Prolog Algorithm Predicate transformer semantics Type system Abstract machine XSB
2	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 Software engineering Computer programming Computing XSB Prolog Logic programming Partial evaluation Mathematical logic Logic Deductive database Abstract interpretation ECL programming language
3	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** Software engineering Logic Declarative programming Reasoning Programming paradigms Model theory Logical connectives Logic programming Prolog Datalog HiLog XSB
4	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
5	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 Subroutines Functional programming Computer performance Software optimization Programming paradigms Memoization XSB Continuation-passing style Prolog Software engineering Computing Computer programming
6	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 Prolog XSB Logic programming Logic Continuation Scheme Software engineering Programming language theory Computer programming
7	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 Prolog XSB Logic programming Logic Continuation Scheme Software engineering Programming language theory Computer programming
8	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 Computing Constraint Handling Rules Prolog Logic programming Constraint logic programming XSB CLP ECLiPSe Logtalk Software engineering Constraint programming Computer programming
9	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 Land transport Clamps Nipple clamp Tonneau C-clamp Fastener Railroad switch Stem Technology Metalworking hand tools Transport
10	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 Liturgy of the Hours Anglo-Catholicism Book of Common Prayer Holy Week Rosary Tridentine Mass Compline Mass Christian meditation Christianity Christian theology Catholic liturgy

UPDATE