CoChat
Sign Up
Cited by 96Logic, programming, and type systemsLogic, Reasoning, and KnowledgeAdvanced Database Systems and Queries

Conjunctive partial deduction: foundations, control, algorithms, and experiments

Open access
De Schreye, Danny, Glück, Robert, Jørgensen, Jesper, Leuschel, Michael, Martens, Bern, Sørensen, Morten Heine·1999·The Journal of Logic Programming
DOI 10.1016/s0743-1066(99)00030-8
Open this paper in CoChat — free account

Integrity signals

Registry

Crossref · 10.1016/s0743-1066(99)00030-8

Cites

4 of 4 references verified0 citation errors · 0 not checkable

Statistics

Recomputing p-values needs the paper’s full text.

Claims the paper makes

We couldn’t retrieve this paper’s full text, so its claims and self-check weren’t run. The registry and citation checks still apply.

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

Cites

Flagged first, then by citations

Cited by

Sorted by citations

Authors
De Schreye, D., Glück, R., Jørgensen, J., Leuschel, M., Martens, B., & Sørensen, M. H.
Affiliations
  • University of Copenhagen (DK)
  • KU Leuven (BE)
ORCID
Glück, Robert
Venue
The Journal of Logic Programming
Publisher
Elsevier BV
Published
1999-11
Volume
41
Issue
2-3
Pages
231-277
ISSN
0743-1066 (ISSN-L)
DOI
10.1016/s0743-1066(99)00030-8
OpenAlex
W2056410280
Cited by
96
References
4
Citations by year
2025: 1 · 2023: 1 · 2022: 1 · 2021: 4 · 2019: 1 · 2018: 3 · 2017: 2 · 2016: 3 · 2015: 4 · 2014: 2 · 2013: 3 · 2012: 2
FWCI
10.20
Type
journal article
Language
en
Open access
Licence
Locations
  • The Journal of Logic Programming (publishedVersion)
  • Research at the University of Copenhagen (University of Copenhagen) (publishedVersion, other-oa)
  • Lirias (KU Leuven) (acceptedVersion, other-oa)
  • ePrints Soton (University of Southampton) (submittedVersion)
  • Research at the University of Copenhagen (University of Copenhagen) (submittedVersion)
Funders
  • University of Southampton
  • Electronics and Computer Science, University of Southampton
Topics
  • Physical Sciences › Computer Science › Artificial Intelligence › Logic, programming, and type systems
  • Physical Sciences › Computer Science › Artificial Intelligence › Logic, Reasoning, and Knowledge
  • Physical Sciences › Computer Science › Computer Networks and Communications › Advanced Database Systems and Queries
Keywords
partial deduction, unfold/fold transformations, deforestation, Prolog, program specialization, renaming, termination, program optimization

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review