On the public citation graph
A calculus for first order Discourse Representation Structures
0 signed · 39 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/bf00985573openalex-snapshot
Direct deductive computation on discourse representation structures
inferredcites →https://doi.org/10.1007/bf01049304openalex-snapshot
A natural deduction system for discourse representation theory
inferredcites →https://doi.org/10.1147/rd.301.0039openalex-snapshot
A theory for the representation of knowledge
inferredcites →https://doi.org/10.2307/2183653openalex-snapshot
Logic: Techniques of Formal Reasoning.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11545163_14openalex-snapshot
Standard K-Languages as a Powerful and Flexible Tool for Building Contracts and Representing Contents of Arbitrary E-Negotiations
inferred← citeshttps://doi.org/10.1007/3-540-36109-x_15openalex-snapshot
Theory of K-Calculuses as a Powerful and Flexible Mathematical Framework for Building Ontologies and Designing Natural Language Processing Systems
inferred← citeshttps://doi.org/10.1007/3-540-48315-2_19openalex-snapshot
Contextual Inference in Computational Semantics
inferred← citeshttps://doi.org/10.1007/3-540-61474-5_83openalex-snapshot
Automatic translation of natural language system specifications into temporal logic
inferred← citeshttps://doi.org/10.1007/978-3-642-24282-3_65openalex-snapshot
Formal Semantics of Chinese Discourse Based on Compositional Discourse Representation Theory
inferred← citeshttps://doi.org/10.1007/978-94-007-0485-5_3openalex-snapshot
Discourse Representation Theory
inferred← citeshttps://doi.org/10.1007/978-94-011-4231-1_7openalex-snapshot
How to Glue a Donkey to an F-Structure: Porting a ‘Dynamic’ Meaning Representation Language into LFG’s Linear Logic Glue-Language Semantics
inferred← citeshttps://doi.org/10.1007/978-94-017-0395-6_10openalex-snapshot
Features in Phonological Theory
inferred← citeshttps://doi.org/10.1007/978-94-017-0395-6_19openalex-snapshot
Synchrony and Composition: Toward a Cognitive Architecture between Classicism and Connectionism
inferred← citeshttps://doi.org/10.1007/s10849-019-09294-3openalex-snapshot
Variable Handling and Compositionality: Comparing DRT and DTS
inferred← citeshttps://doi.org/10.1016/b0-08-044854-2/01090-7openalex-snapshot
Discourse Representation Theory
inferred← citeshttps://doi.org/10.1016/b978-0-444-53726-3.00003-7openalex-snapshot
Discourse Representation in Context
inferred← citeshttps://doi.org/10.1016/b978-044481714-3/50006-0openalex-snapshot
Representing Discourse in Context*
inferred← citeshttps://doi.org/10.1016/j.datak.2004.11.009openalex-snapshot
Ontology-driven discourse analysis for information extraction
inferred← citeshttps://doi.org/10.1016/j.inffus.2012.02.006openalex-snapshot
Formal foundations for situation awareness based on dependent type theory
inferred← citeshttps://doi.org/10.1016/s1574-6526(05)80022-7openalex-snapshot
Time in Qualitative Simulation
inferred← citeshttps://doi.org/10.1023/a:1008309715242openalex-snapshot
Text Structure and Proof Structure
inferred← citeshttps://doi.org/10.1108/17563780810857176openalex-snapshot
A comprehensive mathematical framework for bridging a gap between two approaches to creating a meaning‐understanding web
inferred← citeshttps://doi.org/10.1109/icsc.2011.94openalex-snapshot
Learning Temporal Information for States and Events
inferred← citeshttps://doi.org/10.1111/0824-7935.00042openalex-snapshot
Conversational Actions and Discourse Situations
inferred← citeshttps://doi.org/10.1111/j.1755-2567.1996.tb00503.xopenalex-snapshot
Multiple negation processing in natural language*
inferred← citeshttps://doi.org/10.1305/ndjfl/1040046091openalex-snapshot
Dynamic Bracketing and Discourse Representation
inferred← citeshttps://doi.org/10.1515/9783110589245-011openalex-snapshot
11. Discourse Representation Theory
inferred← citeshttps://doi.org/10.15781/t22f7k67xopenalex-snapshot
The Theory of Correlation Formulas and Their Application to Discourse Coherence
inferred← citeshttps://doi.org/10.2200/s00509ed1v01y201305hlt023openalex-snapshot
Recognizing Textual Entailment: Models and Applications
inferred← citeshttps://doi.org/10.3233/fi-2010-351openalex-snapshot
Modeling Contexts with Dependent Types
inferred← citeshttps://doi.org/10.4018/978-1-4666-6042-7.ch020openalex-snapshot
From Existential Graphs to Conceptual Graphs
inferred← citeshttps://doi.org/10.4018/ijcssa.2013010103openalex-snapshot
From Existential Graphs to Conceptual Graphs
inferred← citeshttps://doi.org/10.53846/goediss-10494openalex-snapshot
All Ravens are Black—Formalisation and Computational Analysis of Generalising Statements in Natural Language
inferred← citeshttps://doi.org/10.70675/dc7347f6z588ez4556z96f8z793b9771c1acopenalex-snapshot
Être ensemble et temporalités politiques
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.