# SLD resolution

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

- ArXiv
- 2017

This paper introduces an SLD-resolution technique based on deep learning. This technique enables neural networks to learn from… (More)

Is this relevant?

2005

2005

- ICTAC
- 2005

We develop semantics for modal logic programs in basic serial multimodal logics, which are parameterized by an arbitrary… (More)

Is this relevant?

2002

2002

- Fundam. Inform.
- 2002

We propose a modal logic programming language called MProlog, which is as expressive as the general modal Horn fragment. We give… (More)

Is this relevant?

1999

1999

- KRDB
- 1999

View update problem in deductive databases is concerned with the translation of an update of an intensional relation by modifying… (More)

Is this relevant?

1999

1999

- Journal of Automated Reasoning
- 1999

This paper presents a full formalization of the semantics of definite programs, in the calculus of inductive constructions. First… (More)

Is this relevant?

1995

1995

- ADBIS
- 1995

It is by now folklore that the bottom-up evaluation of a program after the “magic set” transformation is “as efficient as” top… (More)

Is this relevant?

1994

1994

- ILPS
- 1994

The aim of this thesis is to de ne a procedural and declarative semantics of SLDresolution with re ection, in the general… (More)

Is this relevant?

1991

1991

- PLILP
- 1991

This paper presents a new operational semantics for logic programs with external procedures, introduced in BM88]. A new… (More)

Is this relevant?

1989

1989

- CSL
- 1989

Lemma 2 Let A be an atom and P |= A. Then A has an implication tree wrt. P . Proof: We construct a model M of P . Let |M| be the… (More)

Is this relevant?

Highly Cited

1971

Highly Cited

1971

- Artif. Intell.
- 1971

Linear resolution with selection function (SL.resolution) is a restricted form of linear resolution. The main restriction is e… (More)

Is this relevant?