On the public citation graph
Natural language processing using a propositional semantic network with structured variables
0 signed · 57 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/978-1-4612-4792-0_11openalex-snapshot
SNePS Considered as a Fully Intensional Propositional Semantic Network
inferredcites →https://doi.org/10.1007/978-3-642-83189-8openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/978-3-642-96826-6openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/978-94-007-0485-5_3openalex-snapshot
Discourse Representation Theory
inferredcites →https://doi.org/10.1007/978-94-009-2727-8_10openalex-snapshot
Generalized Quantifiers and Natural Language
inferredcites →https://doi.org/10.1007/978-94-009-9065-4openalex-snapshot
Introduction to Montague Semantics
inferredcites →https://doi.org/10.1007/978-94-010-2506-5_10openalex-snapshot
The Proper Treatment of Quantification in Ordinary English
inferredcites →https://doi.org/10.1007/bf00258419openalex-snapshot
On branching quantifiers in English
inferredcites →https://doi.org/10.1007/bf00350139openalex-snapshot
Generalized quantifiers and natural language
inferredcites →https://doi.org/10.1007/bf00542649openalex-snapshot
Natural deduction and arbitrary objects
inferredcites →https://doi.org/10.1007/bfb0012876openalex-snapshot
Ontic: A knowledge representation system for mathematics
inferredcites →https://doi.org/10.1016/0004-3702(92)90063-4openalex-snapshot
Natural language syntax and first-order inference
inferredcites →https://doi.org/10.1016/0378-4754(90)90155-copenalex-snapshot
Ontic, a knowledge representation system for mathematics
inferredcites →https://doi.org/10.1016/b978-0-12-256380-5.50007-4openalex-snapshot
ON THE EPISTEMOLOGICAL STATUS OF SEMANTIC NETWORKS**Prepared in part at Bolt Beranek and Newman Inc. under contracts sponsored by the Defense Advance Research Projects Agency and the Office of Naval Research. The views and conclusions stated are those of the author and should not be interpreted as…
inferredcites →https://doi.org/10.1016/b978-0-12-256380-5.50008-6openalex-snapshot
ENCODING KNOWLEDGE IN PARTITIONED NETWORKS
inferredcites →https://doi.org/10.1016/b978-0-12-256380-5.50010-4openalex-snapshot
THE STRUCTURE AND ORGANIZATION OF A SEMANTIC NET FOR COMPREHENSION AND INFERENCE
inferredcites →https://doi.org/10.1016/b978-0-934613-53-8.50024-8openalex-snapshot
AN ESSENTIAL HYBRID REASONING SYSTEM: KNOWLEDGE AND SYMBOL LEVEL ACCOUNTS OF KRYPTON
inferredcites →https://doi.org/10.1016/b978-1-4832-0771-1.50007-2openalex-snapshot
UNDERSTANDING SUBSUMPTION AND TAXONOMY
inferredcites →https://doi.org/10.1016/b978-1-4832-0771-1.50010-2openalex-snapshot
CABLES, PATHS, AND “SUBCONSCIOUS” REASONING IN PROPOSITIONAL SEMANTIC NETWORKS
inferredcites →https://doi.org/10.1016/s0364-0213(77)80003-7openalex-snapshot
An Overview of KRL, a Knowledge Representation Language
inferredcites →https://doi.org/10.1016/s0364-0213(85)80014-8openalex-snapshot
An Overview of the KL‐ONE Knowledge Representation System*
inferredcites →https://doi.org/10.1093/aristoteliansupp/57.1.55openalex-snapshot
A Defence of Arbitrary Objects
inferredcites →https://doi.org/10.1109/mc.1983.1654200openalex-snapshot
Krypton: A Functional Approach to Knowledge Representation
inferredcites →https://doi.org/10.1109/proc.1986.13637openalex-snapshot
Symmetric relations, intensional individuals, and variable binding
inferredcites →https://doi.org/10.1111/j.1467-8640.1986.tb00069.xopenalex-snapshot
Natural language understanding and Montague grammar1, 2
inferredcites →https://doi.org/10.1163/9789004252882_014openalex-snapshot
A Theory of Truth and Semantic Representation
inferredcites →https://doi.org/10.1515/9783110867602.1openalex-snapshot
A Theory of Truth and Semantic Representation
inferredcites →https://doi.org/10.1515/9783111546216-007openalex-snapshot
ENGLISH AS A FORMAL LANGUAGE
inferredcites →https://doi.org/10.21236/ada458082openalex-snapshot
Expanding the Utility of Semantic Networks Through Partitioning
inferredcites →https://doi.org/10.3115/982163.982171openalex-snapshot
Generalized augmented transition network grammars for generation from semantic networks
inferredcites →https://doi.org/10.5555/972923.972925openalex-snapshot
Generalized augmented transition network grammars for generation from semantic networks
inferredcites →https://doi.org/10.7312/quin92204openalex-snapshot
Ontological Relativity and Other Essays
inferredcites →https://doi.org/10.7939/r3vq2sr1gopenalex-snapshot
From English to Logic: Context-Free Computation of 'Conventional' Logic Translations
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-29325-6_23openalex-snapshot
Wissensmodellierung — Basis für die Anwendung semantischer Technologien
inferred← citeshttps://doi.org/10.1007/3-540-61313-7_102openalex-snapshot
Type theoretic semantics for SemNet
inferred← citeshttps://doi.org/10.1007/978-94-011-7108-3_33openalex-snapshot
ANALOG: A Knowledge Representation System for Natural Language Processing
inferred← citeshttps://doi.org/10.1007/978-94-015-9586-5_13openalex-snapshot
A Decidable Temporal Logic for Temporal Prepositions
inferred← citeshttps://doi.org/10.1007/bf00349353openalex-snapshot
Multilingual generation: The role of telicity in lexical choice and syntactic realization
inferred← citeshttps://doi.org/10.1016/b978-0-12-801416-5.00018-8openalex-snapshot
Commonsense Reasoning Using Unstructured Information
inferred← citeshttps://doi.org/10.1016/c2014-0-00192-xopenalex-snapshot
Commonsense Reasoning: An Event Calculus Based Approach
inferred← citeshttps://doi.org/10.1016/j.cogsys.2006.07.004openalex-snapshot
Cognitive architectures: Research issues and challenges
inferred← citeshttps://doi.org/10.1016/s0927-5452(04)80114-xopenalex-snapshot
Mobile agents and knowledge discovery in ubiquitous computing
inferred← citeshttps://doi.org/10.1017/s1351324997001757openalex-snapshot
TextNet – A text-based intelligent system
inferred← citeshttps://doi.org/10.1109/hicss.1994.323362openalex-snapshot
Towards a unified AI formalism
inferred← citeshttps://doi.org/10.1109/saintw.2004.1268658openalex-snapshot
Component service model with semantics (CoSMoS): a new component model for dynamic service composition
inferred← citeshttps://doi.org/10.1609/aaai.v29i1.9229openalex-snapshot
Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner
inferred← citeshttps://doi.org/10.18653/v1/2022.naacl-main.359openalex-snapshot
Generalized Quantifiers as a Source of Error in Multilingual NLU Benchmarks
inferred← citeshttps://doi.org/10.3115/992628.992704openalex-snapshot
Distributedness and non-linearity of LOLITA's semantic network
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.