On the public citation graph
Intensional query answering by partial evaluation
0 signed · 39 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-55693-1_42openalex-snapshot
Employing integrity constraints for query modification and intensional answer generation in multi-database systems
inferredcites →https://doi.org/10.1007/3-540-56282-6_4openalex-snapshot
An introduction to partial deduction
inferredcites →https://doi.org/10.1007/978-1-4471-3234-9_11openalex-snapshot
The Power of Partial Evaluation
inferredcites →https://doi.org/10.1007/978-1-4471-3560-9_10openalex-snapshot
Intensional Query Answering: An Application of Partial Evaluation
inferredcites →https://doi.org/10.1007/978-3-642-83189-8openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/978-3-7091-7553-8_88openalex-snapshot
Intensional Query Processing: A Three-Step Approach
inferredcites →https://doi.org/10.1007/bf01185404openalex-snapshot
What is failure? An approach to constructive negation
inferredcites →https://doi.org/10.1007/bf03038308openalex-snapshot
Partial deduction of logic programs wrt well-founded semantics
inferredcites →https://doi.org/10.1007/bfb0015938openalex-snapshot
The limitations of partial evaluation
inferredcites →https://doi.org/10.1016/0004-3702(92)90030-2openalex-snapshot
Linear resolution for consequence finding
inferredcites →https://doi.org/10.1016/0304-3975(94)90203-8openalex-snapshot
Sound and complete partial deduction with unfolding based on well-founded measures
inferredcites →https://doi.org/10.1016/0743-1066(84)90011-6openalex-snapshot
Making prolog more expressive
inferredcites →https://doi.org/10.1016/0743-1066(84)90023-2openalex-snapshot
Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption
inferredcites →https://doi.org/10.1016/0743-1066(87)90003-3openalex-snapshot
Intelligent query answering in rule based systems
inferredcites →https://doi.org/10.1016/0743-1066(91)90027-mopenalex-snapshot
Partial evaluation in logic programming
inferredcites →https://doi.org/10.1016/0743-1066(93)90022-9openalex-snapshot
Loop checking in partial deduction
inferredcites →https://doi.org/10.1093/jigpal/3.5.821openalex-snapshot
Nonstandard Queries and Nonstandard Answers
inferredcites →https://doi.org/10.1093/logcom/3.5.469openalex-snapshot
Supporting Transformations for the Partial Evaluation of Logic Programs
inferredcites →https://doi.org/10.1093/oso/9780198538523.001.0001openalex-snapshot
Nonstandard Queries and Nonstandard Answers
inferredcites →https://doi.org/10.1109/69.334858openalex-snapshot
Intensional answers to database queries
inferredcites →https://doi.org/10.1109/69.88002openalex-snapshot
Controlled generation of intensional answers
inferredcites →https://doi.org/10.1109/icde.1989.47273openalex-snapshot
Constraints for improving the generation of intentional answers in a deductive database
inferredcites →https://doi.org/10.1109/icde.1991.131488openalex-snapshot
Using type inference and induced rules to provide intensional answers
inferredcites →https://doi.org/10.1109/ims.1991.153719openalex-snapshot
A pattern-based approach for deriving approximate and intensional answers
inferredcites →https://doi.org/10.1142/9789814503730_0046openalex-snapshot
APPLYING INTENSIONAL QUERY PROCESSING TECHNIQUES TO OBJECT-ORIENTED DATABASE SYSTEMS
inferredcites →https://doi.org/10.1145/156883.156888openalex-snapshot
Data management for mobile computing
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-45581-7_21openalex-snapshot
Accessing Data Integration Systems through Conceptual Schemas
inferred← citeshttps://doi.org/10.1007/3-540-48229-6_35openalex-snapshot
Generating Symbolic and Natural Language Partial Solutions for Inclusion in Medical Plans
inferred← citeshttps://doi.org/10.1007/978-1-4471-2140-4_2openalex-snapshot
The Odyssey Project – Understanding and Implementing User Needs in the Context of Ballistic Crime Data Exchange
inferred← citeshttps://doi.org/10.1007/978-1-4471-3560-9_10openalex-snapshot
Intensional Query Answering: An Application of Partial Evaluation
inferred← citeshttps://doi.org/10.1007/978-3-540-25957-2_36openalex-snapshot
Consequence Finding in Default Theories
inferred← citeshttps://doi.org/10.1007/978-3-540-69858-6_16openalex-snapshot
Intensional Question Answering Using ILP: What Does an Answer Mean?
inferred← citeshttps://doi.org/10.1007/s10844-006-5450-2openalex-snapshot
Consequence finding and computing answers with defaults
inferred← citeshttps://doi.org/10.1016/j.datak.2009.10.008openalex-snapshot
Computing intensional answers to questions – An inductive logic programming approach
inferred← citeshttps://doi.org/10.1016/s0933-3657(02)00112-4openalex-snapshot
Decision support tools for clinical trial design
inferred← citeshttps://doi.org/10.1504/ijkwi.2011.044124openalex-snapshot
A platform for discovering and sharing confidential ballistic crime data
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.