Search Sciweavers | Sciweavers

5198 search results - page 280 / 1040

» A Logic of Agent Programs

126

click to vote

ELP
1989

84views Logical Reasoning» more ELP 1989»

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

15 years 10 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 »

127

click to vote

ELP
1989

78views Logical Reasoning» more ELP 1989»

Hypothetical Reasoning and Definitional Reflection in Logic Programming

15 years 10 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 10 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 10 months ago

Download reference.kfupm.edu.sa

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

claim paper

Read More »

110

click to vote

ICLP
1990
Springer

139views Automated Reasoning» more ICLP 1990»

Logic Programming and Databases

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers