On the public citation graph
The role of logic programming in the Fifth Generation Computer Project
0 signed · 64 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-16492-8_111openalex-snapshot
Negation and quantifiers in NU-Prolog
inferredcites →https://doi.org/10.1007/3-540-16492-8_70openalex-snapshot
How to invent a Prolog machine
inferredcites →https://doi.org/10.1007/3-540-16492-8_76openalex-snapshot
Rational debugging in logic programming
inferredcites →https://doi.org/10.1007/3-540-16492-8_77openalex-snapshot
Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning
inferredcites →https://doi.org/10.1007/3-540-16492-8_81openalex-snapshot
Making exhaustive search programs deterministic
inferredcites →https://doi.org/10.1007/3-540-16492-8_82openalex-snapshot
Compiling OR-parallelism into AND-parallelism
inferredcites →https://doi.org/10.1007/978-1-4612-5196-5_8openalex-snapshot
Towards a Logical Reconstruction of Relational Database Theory
inferredcites →https://doi.org/10.1007/978-1-4615-8297-7openalex-snapshot
Advances in Data Base Theory
inferredcites →https://doi.org/10.1007/978-1-4615-9385-0openalex-snapshot
Advances in Data Base Theory
inferredcites →https://doi.org/10.1007/978-1-4684-3384-5_2openalex-snapshot
Data Base: Theory vs. Interpretation
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-1-4684-3384-5_4openalex-snapshot
Logic for Data Description
inferredcites →https://doi.org/10.1007/bf03037077openalex-snapshot
Meta-level programming and knowledge representation
inferredcites →https://doi.org/10.1007/bf03037080openalex-snapshot
Complex indeterminates in Prolog and its application to discourse models
inferredcites →https://doi.org/10.1007/bf03037329openalex-snapshot
A knowledge assimilation method for logic databases
inferredcites →https://doi.org/10.1007/bf03037421openalex-snapshot
BUP: A Bottom-Up parser embedded in Prolog
inferredcites →https://doi.org/10.1016/0004-3702(80)90003-xopenalex-snapshot
Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networks
inferredcites →https://doi.org/10.1016/0004-3702(81)90010-2openalex-snapshot
Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation
inferredcites →https://doi.org/10.1016/0004-3702(82)90026-1openalex-snapshot
Using slots and modifiers in logic grammars for natural language
inferredcites →https://doi.org/10.1016/0743-1066(84)90011-6openalex-snapshot
Making prolog more expressive
inferredcites →https://doi.org/10.1016/0743-1066(85)90013-5openalex-snapshot
A basis for deductive database systems
inferredcites →https://doi.org/10.1016/0743-1066(86)90004-xopenalex-snapshot
A basis for deductive database systems II
inferredcites →https://doi.org/10.1016/0743-1066(87)90001-xopenalex-snapshot
Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
inferredcites →https://doi.org/10.1017/s0269888900000448openalex-snapshot
Logic Programming in the Fifth Generation
inferredcites →https://doi.org/10.1109/icde.1986.7266226openalex-snapshot
Deductive database system based on unit resolution
inferredcites →https://doi.org/10.1145/319682.319700openalex-snapshot
On database systems development through logic
inferredcites →https://doi.org/10.1145/321250.321253openalex-snapshot
A Machine-Oriented Logic Based on the Resolution Principle
inferredcites →https://doi.org/10.1145/321992.321996openalex-snapshot
A Transformation System for Developing Recursive Programs
inferredcites →https://doi.org/10.1145/355598.362773openalex-snapshot
Transition network grammars for natural language analysis
inferredcites →https://doi.org/10.1145/356924.356929openalex-snapshot
Logic and Databases: A Deductive Approach
inferredcites →https://doi.org/10.1145/5001.5390openalex-snapshot
PARLOG: parallel programming in logic
inferredcites →https://doi.org/10.1145/800223.806776openalex-snapshot
A relational language for parallel programming
inferredcites →https://doi.org/10.2307/2185122openalex-snapshot
Generalized Phrase Structure Grammar.
inferredcites →https://doi.org/10.5555/972942.972944openalex-snapshot
An efficient easily adaptable system for interpreting natural language queries
inferredcites →https://doi.org/10.7551/mitpress/1192.001.0001openalex-snapshot
Algorithmic Program Debugging
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-54415-1_52openalex-snapshot
Role of logic programming in the FGCS project
inferred← citeshttps://doi.org/10.1007/978-3-642-76799-9_10openalex-snapshot
The Family of Concurrent Logic Programming Languages
inferred← citeshttps://doi.org/10.1007/978-3-642-84142-2_4openalex-snapshot
Ein verteilter Interpreter für Flat Concurrent Prolog auf Transputern
inferred← citeshttps://doi.org/10.1016/0026-2714(90)90165-jopenalex-snapshot
PROLOG in distributed systems: An overview
inferred← citeshttps://doi.org/10.1016/0167-739x(90)90029-dopenalex-snapshot
LAIOS: a parallel execution of PROLOG by data copies
inferred← citeshttps://doi.org/10.1016/0745-7138(90)90003-popenalex-snapshot
Flat Concurrent Prolog on transputers
inferred← citeshttps://doi.org/10.1016/0898-1221(91)90052-6openalex-snapshot
Interpretational abstraction
inferred← citeshttps://doi.org/10.1016/s0020-7373(05)80047-1openalex-snapshot
Foundations of declarative debugging in arbitrary logic programming
inferred← citeshttps://doi.org/10.1109/cmpcon.1991.128863openalex-snapshot
Current state of object technology in Japan
inferred← citeshttps://doi.org/10.1109/tencon.1989.176877openalex-snapshot
Logic programming implementation of functional programming languages
inferred← citeshttps://doi.org/10.1145/131295.131298openalex-snapshot
Logic programming as the integrator of the Fifth Generation Computer Systems project
inferred← citeshttps://doi.org/10.1145/72551.72555openalex-snapshot
The family of concurrent logic programming languages
inferred← citeshttps://doi.org/10.21236/ada214941openalex-snapshot
A Knowledge Based Approach to Program Debugging
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.