On the public citation graph
Compositional model-theoretic semantics for logic programs
0 signed · 41 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-54712-6_226openalex-snapshot
Abductive reasoning in a multi-theory framework
inferredcites →https://doi.org/10.1007/3-540-55015-1_5openalex-snapshot
Semantics of disjunctive logic programs and deductive databases
inferredcites →https://doi.org/10.1007/978-1-4684-3384-5_3openalex-snapshot
On Closed World Data Bases
inferredcites →https://doi.org/10.1007/978-3-642-76274-1_1openalex-snapshot
Problems and Promises of Computational Logic
inferredcites →https://doi.org/10.1007/978-3-642-76274-1_7openalex-snapshot
Composition Operators for Logic Theories
inferredcites →https://doi.org/10.1007/978-3-642-83189-8openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/bf03037149openalex-snapshot
Compiling a default reasoning system into Prolog
inferredcites →https://doi.org/10.1016/0004-3702(88)90077-xopenalex-snapshot
A logical framework for default reasoning
inferredcites →https://doi.org/10.1016/0743-1066(89)90031-9openalex-snapshot
A logical analysis of modules in logic programming
inferredcites →https://doi.org/10.1145/298514.298572openalex-snapshot
Stable models and non-determinism in logic programs with negation
inferredcites →https://doi.org/10.1145/308386.308444openalex-snapshot
Unfounded sets and well-founded semantics for general logic programs
inferredcites →https://doi.org/10.1145/321978.321991openalex-snapshot
The Semantics of Predicate Logic as a Programming Language
inferredcites →https://doi.org/10.1145/322326.322339openalex-snapshot
Contributions to the Theory of Logic Programming
inferredcites →https://doi.org/10.1145/75277.75289openalex-snapshot
Fully abstract compositional semantics for logic programs
inferredcites →https://doi.org/10.1201/9780429246593openalex-snapshot
An Introduction to the Bootstrap
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/j.1096-9942.1995.tb00004.xopenalex-snapshot
Towards Deductive Object Databases
inferred← citeshttps://doi.org/10.1007/3-540-56454-3_11openalex-snapshot
On the semantics of inheritance in logic programming: Compositionality and full abstraction
inferred← citeshttps://doi.org/10.1007/3-540-59293-8_215openalex-snapshot
A refinement of import/export declarations in modular logic programming and its semantics
inferred← citeshttps://doi.org/10.1007/3-540-59487-6_24openalex-snapshot
An abductive framework for extended logic programming
inferred← citeshttps://doi.org/10.1007/978-3-540-25951-0_5openalex-snapshot
On the Semantics of Logic Program Composition
inferred← citeshttps://doi.org/10.1007/bf02939524openalex-snapshot
The structure and semantics of an object-oriented logic programming language: SCKE
inferred← citeshttps://doi.org/10.1007/s10472-024-09925-xopenalex-snapshot
Sequential composition of propositional logic programs
inferred← citeshttps://doi.org/10.1016/0020-0190(96)00051-8openalex-snapshot
An abstract interpretation framework for optimizing dynamic modular logic languages
inferred← citeshttps://doi.org/10.1016/0167-6423(96)00013-5openalex-snapshot
Differential logic programs: Programming methodologies and semantics
inferred← citeshttps://doi.org/10.1016/0304-3975(95)00012-lopenalex-snapshot
Fully abstract compositional semantics for an algebra of logic programs
inferred← citeshttps://doi.org/10.1016/0743-1066(94)90032-9openalex-snapshot
Modularity in Logic Programming
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00191-6openalex-snapshot
A semantics for modular general logic programs
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)80755-4openalex-snapshot
A unifying view for logic programming with non-monotonic reasoning
inferred← citeshttps://doi.org/10.1016/s0743-1066(98)10023-7openalex-snapshot
Steadfast logic programs
inferred← citeshttps://doi.org/10.1016/s0743-1066(99)00003-5openalex-snapshot
Compositionality of normal open logic programs
inferred← citeshttps://doi.org/10.1017/s1471068401000035openalex-snapshot
An interactive semantics of logic programming
inferred← citeshttps://doi.org/10.1023/a:1014216630973openalex-snapshot
Modular Context-Free Grammars
inferred← citeshttps://doi.org/10.1109/tools.1997.713534openalex-snapshot
An order-based composition semantics for the inheritance in logic-based object-oriented paradigm
inferred← citeshttps://doi.org/10.1145/289121.289131openalex-snapshot
Optimizing modular logic languages
inferred← citeshttps://doi.org/10.3115/1034678.1034702openalex-snapshot
Compositional semantics for linguistic formalisms
inferred← citeshttps://doi.org/10.7551/mitpress/4283.003.0040openalex-snapshot
Compositionality of normal open logic programs
inferred← citeshttps://doi.org/10.7551/mitpress/4316.003.0011openalex-snapshot
Modularity in Logic Programming
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.