Sciweavers

37

JFLP
2000

44views more JFLP 2000»

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

15 years 2 months ago

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

Download scholar.lib.vt.edu

Kostas Stathis

claim paper

Read More »

39

JFLP
2000

30views more JFLP 2000»

Stepwise Enhancement and Higher-Order Programming in Prolog

15 years 2 months ago

Stepwise Enhancement and Higher-Order Programming in Prolog

Download scholar.lib.vt.edu

Lee Naish, Leon Sterling

claim paper

Read More »

31

JFLP
2000

30views more JFLP 2000»

Metatheoretic Results for a Modal lambda-Calculus

15 years 2 months ago

Metatheoretic Results for a Modal lambda-Calculus

Download hal.archives-ouvertes.fr

Joëlle Despeyroux, Pierre Leleu

claim paper

Read More »

31

JFLP
2000

36views more JFLP 2000»

Composing Complete and Partial Knowledge

15 years 2 months ago

Composing Complete and Partial Knowledge

Download scholar.lib.vt.edu

Sofie Verbaeten, Annalisa Bossi

claim paper

Read More »