Search Sciweavers | Sciweavers

3572 search results - page 188 / 715

» Nominal Logic Programming

100

Voted

ELP
1989

84views Logical Reasoning» more ELP 1989»

A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

15 years 7 months ago

Download www.lix.polytechnique.fr

BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Phil...

Dale Miller

claim paper

Read More »

Voted

ELP
1989

78views Logical Reasoning» more ELP 1989»

Hypothetical Reasoning and Definitional Reflection in Logic Programming

15 years 7 months ago

Download www-ls.informatik.uni-tuebingen.de

Peter Schroeder-Heister

claim paper

Read More »

click to vote

ICAIL
1989
ACM

58views Artificial Intelligence» more ICAIL 1989»

The Treatment of Negation in Logic Programs for Representing Legislation

15 years 7 months ago

Download www.doc.ic.ac.uk

Robert A. Kowalski

claim paper

Read More »

click to vote

ICLP
1989
Springer

79views Automated Reasoning» more ICLP 1989»

Constraint Hierarchies and Logic Programming

15 years 7 months ago

Download reference.kfupm.edu.sa

Alan Borning, Michael J. Maher, Amy Martindale, Mo...

claim paper

Read More »

click to vote

ICLP
1990
Springer

139views Automated Reasoning» more ICLP 1990»

Logic Programming and Databases

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers