On the public citation graph
Applications of Declarative Programming and Knowledge Management
0 signed · 36 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-56610-4_56openalex-snapshot
Associative-commutative discrimination nets
inferredcites →https://doi.org/10.1007/3-540-63223-9_108openalex-snapshot
An algorithm for multi-relational discovery of subgroups
inferredcites →https://doi.org/10.1007/978-3-540-69611-7_10openalex-snapshot
On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation
inferredcites →https://doi.org/10.1007/s00063-004-1020-yopenalex-snapshot
A Diagnostic Expert System for Structured Reports, Quality Assessment, and Training of Residents in Sonography
inferredcites →https://doi.org/10.1016/s0743-1066(98)10013-4openalex-snapshot
Efficient access mechanisms for tabled logic programs
inferredcites →https://doi.org/10.1016/s1571-0661(04)80210-xopenalex-snapshot
Essentials of Term Graph Rewriting
inferredcites →https://doi.org/10.1038/218019a0openalex-snapshot
“Memo” Functions and Machine Learning
inferredcites →https://doi.org/10.1093/comjnl/35.5.514openalex-snapshot
Non-determinism in Functional Languages
inferredcites →https://doi.org/10.1145/227595.227597openalex-snapshot
Tabled evaluation with delaying for general logic programs
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11579427_92openalex-snapshot
Using Inductive Rules in Medical Case-Based Reasoning System
inferred← citeshttps://doi.org/10.1007/11963578_8openalex-snapshot
${\cal O}(n \log n)$ Overload Checking for the Cumulative Constraint and Its Application
inferred← citeshttps://doi.org/10.1007/978-3-319-08909-6_8openalex-snapshot
Introducing Real Variables and Integer Objective Functions to Answer Set Programming
inferred← citeshttps://doi.org/10.1007/978-3-319-09764-0_5openalex-snapshot
Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic
inferred← citeshttps://doi.org/10.1007/978-3-319-11558-0_12openalex-snapshot
Improving the Normalization of Weight Rules in Answer Set Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-30228-5_2openalex-snapshot
Automatic Acquisition of Transfer Rules from Translation Examples
inferred← citeshttps://doi.org/10.1007/978-3-642-14309-0_13openalex-snapshot
Transformation and Debugging of Functional Logic Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-19486-3_8openalex-snapshot
Constraint-Based Modeling and Scheduling of Clinical Pathways
inferred← citeshttps://doi.org/10.1007/978-3-642-20291-9_51openalex-snapshot
Querying and Reasoning with RDF(S)/OWL in XQuery
inferred← citeshttps://doi.org/10.1007/978-3-642-20589-7_10openalex-snapshot
JSquash: Source Code Analysis of Embedded Database Applications for Determining Sql Statements
inferred← citeshttps://doi.org/10.1007/978-3-642-20589-7_8openalex-snapshot
Extending XQuery for Semantic Web Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-642-20775-4_2openalex-snapshot
Transforming Functional Logic Programs into Monadic Functional Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-24452-0_2openalex-snapshot
From Functional Logic Programs to Purely Functional Programs Preserving Laziness
inferred← citeshttps://doi.org/10.1007/978-3-642-29822-6_5openalex-snapshot
Compiling a Functional Logic Language: The Basic Scheme
inferred← citeshttps://doi.org/10.1007/978-3-642-30662-4_20openalex-snapshot
Controlling Complex Lighting Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-32211-2_4openalex-snapshot
A Declarative Embedding of XQuery in a Functional-Logic Language
inferred← citeshttps://doi.org/10.1007/978-3-642-37651-1_6openalex-snapshot
Functional Logic Programming: From Theory to Curry
inferred← citeshttps://doi.org/10.1007/978-3-642-40564-8_32openalex-snapshot
Debugging Answer-Set Programs with Ouroboros – Extending the SeaLion Plugin
inferred← citeshttps://doi.org/10.1007/978-3-642-40627-0_47openalex-snapshot
Scheduling Optional Tasks with Explanation
inferred← citeshttps://doi.org/10.1016/j.ijpe.2008.12.016openalex-snapshot
Constraint programming for project-driven manufacturing
inferred← citeshttps://doi.org/10.1080/17489725.2011.554641openalex-snapshot
Challenges in data integration and interoperability in geovisual analytics
inferred← citeshttps://doi.org/10.1111/j.1467-9671.2007.01076.xopenalex-snapshot
Requirements for Next Generation Spatial Data Infrastructures‐Standardized Web Based Geoprocessing and Web Service Orchestration
inferred← citeshttps://doi.org/10.1145/3414080.3414094openalex-snapshot
Proof-Carrying Plans: a Resource Logic for AI Planning
inferred← citeshttps://doi.org/10.11606/d.55.2017.tde-06032017-142147openalex-snapshot
Jogos educacionais: uma contribuição para o ensino de teste de software
inferred← citeshttps://doi.org/10.4236/jcc.2016.414009openalex-snapshot
Causal Analysis of User Search Query Intent
inferred← citeshttps://doi.org/10.48550/arxiv.1403.5142openalex-snapshot
Interactive Debugging of ASP Programs
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.