Sciweavers

367 search results - page 27 / 74

» Prolog

6

JFLP
2000

30views more JFLP 2000»

Stepwise Enhancement and Higher-Order Programming in Prolog

13 years 7 months ago

Stepwise Enhancement and Higher-Order Programming in Prolog

Download scholar.lib.vt.edu

Lee Naish, Leon Sterling

claim paper

Read More »

32

KI
2000
Springer

879views Artificial Intelligence» more KI 2000»

Clause and Effect - Prolog Programming for the Working Programmer

13 years 7 months ago

Clause and Effect - Prolog Programming for the Working Programmer

Download www.cl.cam.ac.uk

Frieder Stolzenburg

claim paper

Read More »

18

JLP
1998

47views more JLP 1998»

A New Term Representation Method for Prolog

13 years 7 months ago

A New Term Representation Method for Prolog

Download ds.lib.kyutech.ac.jp

Xining Li

claim paper

Read More »

21

SPE
2010

82views more SPE 2010»

Pedro: a publish/subscribe server using Prolog technology

13 years 6 months ago

Pedro: a publish/subscribe server using Prolog technology

Download www.doc.ic.ac.uk

Peter J. Robinson, Keith L. Clark

claim paper

Read More »

20

AAAI
2011

129views Intelligent Agents» more AAAI 2011»

An Algebraic Prolog for Reasoning about Possible Worlds

12 years 7 months ago

An Algebraic Prolog for Reasoning about Possible Worlds

Download lirias.kuleuven.be

Angelika Kimmig, Guy Van den Broeck, Luc De Raedt

claim paper

Read More »

« Prev « First page 27 / 74 Last » Next »