Sciweavers

41

Voted

JFLP
2000

44views more JFLP 2000»

A Game-based Architecture for Developing Interactive Components in Computational Logic

15 years 3 months ago

A Game-based Architecture for Developing Interactive Components in Computational Logic

Download scholar.lib.vt.edu

Kostas Stathis

claim paper

Read More »

43

Voted

JFLP
2000

30views more JFLP 2000»

Stepwise Enhancement and Higher-Order Programming in Prolog

15 years 3 months ago

Stepwise Enhancement and Higher-Order Programming in Prolog

Download scholar.lib.vt.edu

Lee Naish, Leon Sterling

claim paper

Read More »

36

Voted

JFLP
2000

30views more JFLP 2000»

Metatheoretic Results for a Modal lambda-Calculus

15 years 3 months ago

Metatheoretic Results for a Modal lambda-Calculus

Download hal.archives-ouvertes.fr

Joëlle Despeyroux, Pierre Leleu

claim paper

Read More »

35

JFLP
2000

36views more JFLP 2000»

Composing Complete and Partial Knowledge

15 years 3 months ago

Composing Complete and Partial Knowledge

Download scholar.lib.vt.edu

Sofie Verbaeten, Annalisa Bossi

claim paper

Read More »