Search Sciweavers | Sciweavers

3546 search results - page 190 / 710

» A Causal Logic of Logic Programming

148

click to vote

ELP
1989

78views Logical Reasoning» more ELP 1989»

Hypothetical Reasoning and Definitional Reflection in Logic Programming

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

Download www.doc.ic.ac.uk

Robert A. Kowalski

claim paper

Read More »

114

click to vote

ICLP
1989
Springer

79views Automated Reasoning» more ICLP 1989»

Constraint Hierarchies and Logic Programming

15 years 11 months ago

Download reference.kfupm.edu.sa

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

claim paper

Read More »

128

click to vote

ICLP
1990
Springer

139views Automated Reasoning» more ICLP 1990»

Logic Programming and Databases

15 years 11 months ago

Download sp.cmc.msu.ru

Catriel Beeri

claim paper

Read More »

130

click to vote

ICLP
1990
Springer

123views Automated Reasoning» more ICLP 1990»

Logic Programs with Classical Negation

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers