Search Sciweavers | Sciweavers

367 search results - page 23 / 74

» Prolog

click to vote

CADE
1990
Springer

57views Logical Reasoning» more CADE 1990»

A Prolog Technology Theorem Prover

13 years 12 months ago

Download www.cl.cam.ac.uk

Mark E. Stickel

claim paper

Read More »

click to vote

KI
1989
Springer

39views Artificial Intelligence» more KI 1989»

Prolog

13 years 12 months ago

Download www.soe.ucsc.edu

Hans-Jürgen Eikmeyer

claim paper

Read More »

click to vote

ISCA
1990
IEEE

72views Hardware» more ISCA 1990»

Fast Prolog with an Extended General Purpose Architecture

13 years 12 months ago

Download www.grundu.net

Bruce K. Holmer, Barton Sano, Michael J. Carlton, ...

claim paper

Read More »

click to vote

PLILP
1991
Springer

120views Programming Languages» more PLILP 1991»

Semantics-Directed Generation of a Prolog Compiler

13 years 11 months ago

Download repository.readscheme.org

Charles Consel, Siau-Cheng Khoo

claim paper

Read More »

click to vote

AAAI
2008

259views Intelligent Agents» more AAAI 2008»

Towards Answer Set Prolog Based Architectures for Intelligent Agents

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers