On the public citation graph
Meta-level programming and knowledge representation
0 signed · 96 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/bf01700692openalex-snapshot
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
inferredcites →https://doi.org/10.1007/bf03037329openalex-snapshot
A knowledge assimilation method for logic databases
inferredcites →https://doi.org/10.1007/s00605-006-0423-7openalex-snapshot
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
inferredcites →https://doi.org/10.1016/0004-3702(76)90008-4openalex-snapshot
The psychology of computer vision
inferredcites →https://doi.org/10.1016/b978-0-12-108550-6.50011-2openalex-snapshot
A FRAME FOR FRAMES
inferredcites →https://doi.org/10.1016/b978-0-12-108550-6.50012-4openalex-snapshot
FRAME REPRESENTATIONS AND THE DECLARATIVE/PROCEDURAL CONTROVERSY
inferredcites →https://doi.org/10.1016/b978-1-4832-1446-7.50018-2openalex-snapshot
A FRAMEWORK FOR REPRESENTING KNOWLEDGE
inferredcites →https://doi.org/10.1016/c2009-0-22090-3openalex-snapshot
Representation and Understanding
inferredcites →https://doi.org/10.2307/2266170openalex-snapshot
A formulation of the simple theory of types
inferredcites →https://doi.org/10.4324/9780203781036openalex-snapshot
Scripts, Plans, Goals, and Understanding
inferredcites →https://doi.org/10.7551/mitpress/3765.003.0041openalex-snapshot
Artificial Intelligence
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.4380200109openalex-snapshot
Regulation management and logic programming
inferred← citeshttps://doi.org/10.1002/spe.4380210605openalex-snapshot
Reflection mechanisms for combining prolog databases
inferred← citeshttps://doi.org/10.1007/3-540-16492-8_114openalex-snapshot
The design and implementation of a high-speed incremental portable Prolog compiler
inferred← citeshttps://doi.org/10.1007/3-540-16492-8_85openalex-snapshot
On the semantics of logic programming languages
inferred← citeshttps://doi.org/10.1007/3-540-18024-9_24openalex-snapshot
Programming in modal logic: An extension of PROLOG based on modal logic
inferred← citeshttps://doi.org/10.1007/3-540-19426-6_15openalex-snapshot
Knowledge representation and inference based on first-order modal logic
inferred← citeshttps://doi.org/10.1007/3-540-54563-8_108openalex-snapshot
Amalgamated logic programming and non-monotonic reasoning
inferred← citeshttps://doi.org/10.1007/3-540-56282-6_10openalex-snapshot
Logic meta-programming facilities in 'LOG
inferred← citeshttps://doi.org/10.1007/3-540-56282-6_13openalex-snapshot
A sensible least Herbrand semantics for untyped vanilla meta-programming and its extension to a limited form of amalgamation
inferred← citeshttps://doi.org/10.1007/3-540-56282-6_14openalex-snapshot
A complete resolution method for logical meta-programming languages
inferred← citeshttps://doi.org/10.1007/3-540-56454-3_17openalex-snapshot
Techniques for implementing contexts in Logic Programming
inferred← citeshttps://doi.org/10.1007/3-540-57234-1_51openalex-snapshot
Contradiction and confirmation
inferred← citeshttps://doi.org/10.1007/3-540-58792-6_17openalex-snapshot
A basis for a multilevel metalogic programming language
inferred← citeshttps://doi.org/10.1007/978-1-4471-3546-3_6openalex-snapshot
Interacting with the Logic of the Problem: Specifying and Prototyping Interactive Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-04070-3_27openalex-snapshot
Network Reification as a Unified Approach to Represent Network Adaptation Principles Within a Network
inferred← citeshttps://doi.org/10.1007/978-3-030-31445-3_3openalex-snapshot
A Unified Approach to Represent Network Adaptation Principles by Network Reification
inferred← citeshttps://doi.org/10.1007/978-3-030-85821-6_1openalex-snapshot
Dynamics, Adaptation and Control for Mental Models: A Cognitive Architecture
inferred← citeshttps://doi.org/10.1007/978-3-642-19968-4_7openalex-snapshot
Patterns in World Dynamics Indicating Agency
inferred← citeshttps://doi.org/10.1007/978-3-642-73641-4_4openalex-snapshot
Perspektiven für die Logikprogrammierung
inferred← citeshttps://doi.org/10.1007/978-3-642-74688-8_11openalex-snapshot
Zeitbeschränkte Logische Programmierung
inferred← citeshttps://doi.org/10.1007/978-3-642-75182-0_2openalex-snapshot
Meta-Programming for Knowledge Base Systems
inferred← citeshttps://doi.org/10.1007/bf03037447openalex-snapshot
Using Prolog for building frog, a hybrid knowledge representation system
inferred← citeshttps://doi.org/10.1007/bf03037455openalex-snapshot
The role of logic programming in the Fifth Generation Computer Project
inferred← citeshttps://doi.org/10.1007/bfb0014983openalex-snapshot
A declarative environment for concurrent logic programming
inferred← citeshttps://doi.org/10.1007/bfb0017221openalex-snapshot
An inference engine for representing multiple theories
inferred← citeshttps://doi.org/10.1007/bfb0038692openalex-snapshot
A survey of GCLA: A definitional approach to logic programming
inferred← citeshttps://doi.org/10.1007/bfb0057444openalex-snapshot
Theories and proofs in fault diagnosis
inferred← citeshttps://doi.org/10.1016/0096-0551(93)90014-ropenalex-snapshot
Parametric composable modules in a logic programming language
inferred← citeshttps://doi.org/10.1016/0743-1066(90)90035-4openalex-snapshot
Representing knowledge with theories about theories
inferred← citeshttps://doi.org/10.1016/0743-1066(91)90005-aopenalex-snapshot
A declarative state transition system
inferred← citeshttps://doi.org/10.1016/0743-1066(93)90024-bopenalex-snapshot
Partial deduction for structured logic programming
inferred← citeshttps://doi.org/10.1016/0743-1066(94)00015-xopenalex-snapshot
Why untyped nonground metaprogramming is not (much of) a problem
inferred← citeshttps://doi.org/10.1016/b978-0-12-037101-3.50007-7openalex-snapshot
Logical Semantics of Multiple World Mechanism for Knowledge Representation in Logic Programming
inferred← citeshttps://doi.org/10.1016/b978-0-444-89752-7.50025-0openalex-snapshot
META THEORY AS A TOOL FOR INTEGRATION AND CONTROL
inferred← citeshttps://doi.org/10.1016/b978-0-934613-32-3.50019-8openalex-snapshot
APPLYING THEORY FORMATION TO THE PLANNING PROBLEM
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1313-2.50017-2openalex-snapshot
PROLOG-DBMS COUPLING: a hybrid approach, half interpreted, half compiled
inferred← citeshttps://doi.org/10.1016/j.cogsys.2021.06.004openalex-snapshot
Reflections on dynamics, adaptation and control: A cognitive architecture for mental models
inferred← citeshttps://doi.org/10.1016/s0743-1066(97)00075-7openalex-snapshot
Abstract metaprolog engine
inferred← citeshttps://doi.org/10.1016/s0743-1066(98)10009-2openalex-snapshot
Automated reasoning with a constraint-based metainterpreter
inferred← citeshttps://doi.org/10.1017/9781108164085.002openalex-snapshot
Artificial Intelligence and Agents
inferred← citeshttps://doi.org/10.1017/9781108164085.003openalex-snapshot
Agent Architectures and Hierarchical Control
inferred← citeshttps://doi.org/10.1017/9781108164085.008openalex-snapshot
Supervised Machine Learning
inferred← citeshttps://doi.org/10.1017/9781108164085.015openalex-snapshot
Ontologies and Knowledge-Based Systems
inferred← citeshttps://doi.org/10.1017/9781108164085.016openalex-snapshot
Relational Planning, Learning, and Probabilistic Reasoning
inferred← citeshttps://doi.org/10.1017/9781108164085.018openalex-snapshot
Mathematical Preliminaries and Notation
inferred← citeshttps://doi.org/10.1017/cbo9780511794797.003openalex-snapshot
Agent Architectures and Hierarchical Control
inferred← citeshttps://doi.org/10.1017/cbo9780511794797.006openalex-snapshot
Propositions and Inference
inferred← citeshttps://doi.org/10.1017/cbo9780511794797.013openalex-snapshot
Individuals and Relations
inferred← citeshttps://doi.org/10.1017/cbo9780511794797.014openalex-snapshot
Ontologies and Knowledge-Based Systems
inferred← citeshttps://doi.org/10.1017/cbo9780511794797.015openalex-snapshot
Relational Planning, Learning, and Probabilistic Reasoning
inferred← citeshttps://doi.org/10.1017/cbo9780511794797.017openalex-snapshot
Mathematical Preliminaries and Notation
inferred← citeshttps://doi.org/10.1017/s1471068419000024openalex-snapshot
In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming
inferred← citeshttps://doi.org/10.1023/a:1018995303452openalex-snapshot
The logic of totally and partially ordered plans: a deductive database approach
inferred← citeshttps://doi.org/10.1109/21.35332openalex-snapshot
A survey on the design of multiprocessing systems for artificial intelligence applications
inferred← citeshttps://doi.org/10.1109/icws.2004.1314774openalex-snapshot
RAWS: reflective engineering for Web services
inferred← citeshttps://doi.org/10.1109/icws.2004.91openalex-snapshot
RAWS: reflective engineering for Web services
inferred← citeshttps://doi.org/10.1109/lics.1994.316063openalex-snapshot
Semantics of meta-logic in an algebra of programs
inferred← citeshttps://doi.org/10.1109/tai.1990.130310openalex-snapshot
Building embedded languages and expert system shells in Prolog
inferred← citeshttps://doi.org/10.1145/101077.101082openalex-snapshot
A deductive database architecture based on partial evaluation
inferred← citeshttps://doi.org/10.1145/114005.102807openalex-snapshot
The concurrent language, Shared Prolog
inferred← citeshttps://doi.org/10.1145/234828.234851openalex-snapshot
Logic programming with the World-Wide Web
inferred← citeshttps://doi.org/10.1145/324634.325181openalex-snapshot
New directions in logic programming
inferred← citeshttps://doi.org/10.1145/36338.36339openalex-snapshot
PLEXACT: an architecture & design of a knowledge-based system for information systems development
inferred← citeshttps://doi.org/10.48550/arxiv.2109.14381openalex-snapshot
From Organisational Structure to Organisational Behaviour Formalisation
inferred← citeshttps://doi.org/10.5860/choice.48-2130openalex-snapshot
Artificial intelligence: foundations of computational agents
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.