On the public citation graph

Using spatial logic to describe visual languages

https://doi.org/10.1007/bf00127678
0 signed · 27 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/bf00047165openalex-snapshot
Journal of automated reasoning
inferredcites →https://doi.org/10.1007/bf00243207openalex-snapshot
A more expressive formulation of many sorted logic
inferredcites →https://doi.org/10.1109/wvl.1990.128375openalex-snapshot
Complete visualizations of concurrent programs and their executions
inferredcites →https://doi.org/10.1305/ndjfl/1093870761openalex-snapshot
Individuals and points.
inferredcites →https://doi.org/10.1305/ndjfl/1093883455openalex-snapshot
A calculus of individuals based on ``connection''.

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1006/jvlc.1999.0133openalex-snapshot
A Logic-based Formalism for Reasoning about Visual Representations
inferred← citeshttps://doi.org/10.1006/jvlc.2002.0243openalex-snapshot
Iconic SQL: Practical Issues in the Querying of Databases through Structured Iconic Expressions
inferred← citeshttps://doi.org/10.1007/3-540-44590-0_11openalex-snapshot
Constraint Matching for Diagram Design: Qualitative Visual Languages
inferred← citeshttps://doi.org/10.1007/3-540-44590-0_9openalex-snapshot
Non-standard Logics for Diagram Interpretation
inferred← citeshttps://doi.org/10.1007/3-540-48199-0_5openalex-snapshot
Deductive Parsing of Visual Languages
inferred← citeshttps://doi.org/10.1007/3-540-61732-9_54openalex-snapshot
Calculi for qualitative spatial reasoning
inferred← citeshttps://doi.org/10.1007/3540634932_1openalex-snapshot
Qualitative spatial representation and reasoning techniques
inferred← citeshttps://doi.org/10.1007/978-1-4471-0109-3_15openalex-snapshot
Diagrammatic Evaluation of Visual Mathematical Notations
inferred← citeshttps://doi.org/10.1007/978-1-4471-0109-3_23openalex-snapshot
Intelligent Diagrammatic Interfaces: State of the Art
inferred← citeshttps://doi.org/10.1007/978-1-4612-1676-6_9openalex-snapshot
A Fully Formalized Theory for Describing Visual Notations
inferred← citeshttps://doi.org/10.1016/j.aei.2011.10.005openalex-snapshot
Visual language and graph-based structures in conceptual design
inferred← citeshttps://doi.org/10.1016/s0004-3702(02)00193-5openalex-snapshot
Combining topological and size information for spatial reasoning
inferred← citeshttps://doi.org/10.1023/a:1008349211870openalex-snapshot
Editorial: Efficacy of Diagrammatic Reasoning
inferred← citeshttps://doi.org/10.1023/a:1009712514511openalex-snapshot
Qualitative Spatial Representation and Reasoning with the Region Connection Calculus
inferred← citeshttps://doi.org/10.1109/hcc.2001.995232openalex-snapshot
A predicate-based approach to defining visual language syntax
inferred← citeshttps://doi.org/10.1109/hcc.2001.995274openalex-snapshot
Moses-a tool suite for visual modeling of discrete-event systems
inferred← citeshttps://doi.org/10.1109/icmlc.2003.1259765openalex-snapshot
Combining representations of topology and distance
inferred← citeshttps://doi.org/10.1207/s15427633scc0501_3openalex-snapshot
Topological and Geometric Operators for Ontological Classification of Vague Geographic Concepts
inferred← citeshttps://doi.org/10.12775/llp.2023.002openalex-snapshot
On Some Meta-Theoretic Topological Features of the Region Connection Calculus
inferred← citeshttps://doi.org/10.21936/si2011_v32.n4b.129openalex-snapshot
Projektowanie wizualne z wykorzystaniem hierarchicznych hipergrafów
inferred← citeshttps://doi.org/10.5555/1219982.1219984openalex-snapshot
Qualitative Spatial Representation and Reasoning: An Overview
inferred← citeshttps://doi.org/10.5840/monist19967913openalex-snapshot
A Connection Based Approach to Common-sense Topological Description and Reasoning
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.