Sciweavers

1313 search results - page 4 / 263

» Prioritized Reasoning in Logic Programming

37

LLL
1999
Springer

357views Automated Reasoning» more LLL 1999»

An Introduction to Inductive Logic Programming and Learning Language in Logic

13 years 10 months ago

An Introduction to Inductive Logic Programming and Learning Language in Logic

Download www-users.cs.york.ac.uk

Saso Dzeroski, James Cussens, Suresh Manandhar

claim paper

Read More »

15

CADE
2008
Springer

98views Logical Reasoning» more CADE 2008»

Quantitative Separation Logic and Programs with Lists

14 years 6 months ago

Quantitative Separation Logic and Programs with Lists

Download www-verimag.imag.fr

Marius Bozga, Radu Iosif, Swann Perarnau

claim paper

Read More »

18

CADE
1994
Springer

190views Logical Reasoning» more CADE 1994»

The Applicability of Logic Program Analysis and Transformation to Theorem Proving

13 years 9 months ago

The Applicability of Logic Program Analysis and Transformation to Theorem Proving

Download repository.readscheme.org

D. Andre de Waal, John P. Gallagher

claim paper

Read More »

16

BIRTHDAY
2000
Springer

153views Applied Computing» more BIRTHDAY 2000»

Prioritizing Default Logic

13 years 10 months ago

Prioritizing Default Logic

Download www.informatik.uni-leipzig.de

A number of prioritized variants of Reiter’s default logic have been described in the literature. In this paper, we introduce two natural principles for preference handling and s...

Gerhard Brewka, Thomas Eiter

claim paper

Read More »

9

ELP
1989

108views Logical Reasoning» more ELP 1989»

Logic Programming, Functional Programming, and Inductive Definitions

13 years 9 months ago

Logic Programming, Functional Programming, and Inductive Definitions

Download www.cl.cam.ac.uk

Lawrence C. Paulson, Andrew W. Smith

claim paper

Read More »

« Prev « First page 4 / 263 Last » Next »