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

15 years 1 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

15 years 1 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

15 years 1 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

15 years 1 months ago

Download repository.readscheme.org

Charles Consel, Siau-Cheng Khoo

claim paper

Read More »

Voted

AAAI
2008

259views Intelligent Agents» more AAAI 2008»

Towards Answer Set Prolog Based Architectures for Intelligent Agents

15 years 1 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers