Search Sciweavers | Sciweavers

3566 search results - page 176 / 714

» Signed Logic Programs

click to vote

ELP
1989

78views Logical Reasoning» more ELP 1989»

Hypothetical Reasoning and Definitional Reflection in Logic Programming

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

Download sp.cmc.msu.ru

Catriel Beeri

claim paper

Read More »

click to vote

ICLP
1990
Springer

123views Automated Reasoning» more ICLP 1990»

Logic Programs with Classical Negation

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers