On the public citation graph

The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic

https://doi.org/10.1007/b94030
0 signed · 48 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/978-3-540-40062-2_11openalex-snapshot
11 Syntactical Equivalence to FOL
inferredcites →https://doi.org/10.1007/978-3-540-40062-2_13openalex-snapshot
13 Concept Graphs without Cuts
inferredcites →https://doi.org/10.1007/978-3-540-40062-2_9openalex-snapshot
9 Semantics for Existential Concept Graphs

What points at this work

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

inferred← citeshttps://doi.org/10.1002/widm.1088openalex-snapshot
Knowledge representation and processing with formal concept analysis
inferred← citeshttps://doi.org/10.1007/11524564_10openalex-snapshot
Variables in Concept Graphs
inferred← citeshttps://doi.org/10.1007/11524564_14openalex-snapshot
Local Negation in Concept Graphs
inferred← citeshttps://doi.org/10.1007/11524564_30openalex-snapshot
Enhancing the Initial Requirements Capture of Multi-Agent Systems Through Conceptual Graphs
inferred← citeshttps://doi.org/10.1007/11528784_4openalex-snapshot
From Formal Concept Analysis to Contextual Logic
inferred← citeshttps://doi.org/10.1007/11671404_7openalex-snapshot
Two Instances of Peirce’s Reduction Thesis
inferred← citeshttps://doi.org/10.1007/11752660_8openalex-snapshot
Improving AOSE with an Enriched Modelling Framework
inferred← citeshttps://doi.org/10.1007/11787181_18openalex-snapshot
Transaction Agent Modelling: From Experts to Concepts to Multi-Agent Systems
inferred← citeshttps://doi.org/10.1007/11787181_24openalex-snapshot
Simple Conceptual Graphs with Atomic Negation and Difference
inferred← citeshttps://doi.org/10.1007/11787181_7openalex-snapshot
Simple Conceptual Graphs and Simple Concept Graphs
inferred← citeshttps://doi.org/10.1007/978-3-030-06164-7_6openalex-snapshot
Reasoning with Ontologies
inferred← citeshttps://doi.org/10.1007/978-3-030-32722-4_15openalex-snapshot
The Logic of Picturing: Wittgenstein, Sellars and Peirce’s EG-beta
inferred← citeshttps://doi.org/10.1007/978-3-030-40616-5_4openalex-snapshot
A New Syntax for Diagrammatic Logic: A Generic Figures Approach
inferred← citeshttps://doi.org/10.1007/978-3-319-91379-7_13openalex-snapshot
Conceptual Graphs Based Modeling of Semi-structured Data
inferred← citeshttps://doi.org/10.1007/978-3-540-24651-0_15openalex-snapshot
Background Knowledge in Concept Graphs
inferred← citeshttps://doi.org/10.1007/978-3-540-24651-0_2openalex-snapshot
Protoconcept Graphs: The Lattice of Conceptual Contents
inferred← citeshttps://doi.org/10.1007/978-3-540-25931-2_7openalex-snapshot
Query Graphs with Cuts: Mathematical Foundations
inferred← citeshttps://doi.org/10.1007/978-3-540-27769-9_20openalex-snapshot
Concept Types and Coreference in Simple Conceptual Graphs
inferred← citeshttps://doi.org/10.1007/978-3-540-27769-9_5openalex-snapshot
Types and Tokens for Logic with Diagrams
inferred← citeshttps://doi.org/10.1007/978-3-540-30203-2_23openalex-snapshot
Representing First-Order Logic Using Graphs
inferred← citeshttps://doi.org/10.1007/978-3-540-32262-7_23openalex-snapshot
Complete Subalgebras of Semiconcept Algebras and Protoconcept Algebras
inferred← citeshttps://doi.org/10.1007/978-3-540-45091-7_17openalex-snapshot
Concept Graphs without Negations: Standard Models and Standard Graphs
inferred← citeshttps://doi.org/10.1007/978-3-540-70596-3_8openalex-snapshot
An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation
inferred← citeshttps://doi.org/10.1007/978-3-540-73681-3_1openalex-snapshot
An Introduction to Conceptual Graphs
inferred← citeshttps://doi.org/10.1007/978-3-540-73681-3_32openalex-snapshot
Constants and Functions in Peirce’s Existential Graphs
inferred← citeshttps://doi.org/10.1007/978-3-540-73681-3_34openalex-snapshot
Helping System Users to Be Smarter by Representing Logic in Transaction Frame Diagrams
inferred← citeshttps://doi.org/10.1007/978-3-540-78137-0_1openalex-snapshot
Communicative Rationality, Logic, and Mathematics
inferred← citeshttps://doi.org/10.1007/978-3-642-01815-2_3openalex-snapshot
The Advent of Formal Diagrammatic Reasoning Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-04315-4_12openalex-snapshot
Unsicheres Wissen
inferred← citeshttps://doi.org/10.1007/978-3-642-11928-6_2openalex-snapshot
Mathematics Presenting, Reflecting, Judging
inferred← citeshttps://doi.org/10.1007/978-3-642-14600-8_10openalex-snapshot
Fragments of Spider Diagrams of Order and Their Relative Expressiveness
inferred← citeshttps://doi.org/10.1007/978-3-642-17946-4_10openalex-snapshot
Existential Graphs
inferred← citeshttps://doi.org/10.1007/978-3-642-19536-5_17openalex-snapshot
Co-evolution and Co-management of Economic and Ecological Sustainability: A Semantic Approach to Modeling Climate Adapted Land Use Strategies in Northwestern Germany
inferred← citeshttps://doi.org/10.1007/978-90-481-9588-6_9openalex-snapshot
Logic and the Law: Crossing the Lines of Discipline
inferred← citeshttps://doi.org/10.1016/j.datak.2006.03.008openalex-snapshot
On querying simple conceptual graphs with negation
inferred← citeshttps://doi.org/10.1016/j.eswa.2013.05.007openalex-snapshot
Formal Concept Analysis in knowledge processing: A survey on models and techniques
inferred← citeshttps://doi.org/10.1016/j.jvlc.2005.03.001openalex-snapshot
The semantics of augmented constraint diagrams
inferred← citeshttps://doi.org/10.1016/j.jvlc.2007.12.003openalex-snapshot
A diagrammatic reasoning system for the description logic
inferred← citeshttps://doi.org/10.1063/1.4912760openalex-snapshot
RDF graph-based formal system in relation to the Sowa’s conceptual graph
inferred← citeshttps://doi.org/10.1109/aqtr.2010.5520722openalex-snapshot
Conceptual Graphs based representation and querying of databases
inferred← citeshttps://doi.org/10.1109/eisic.2012.12openalex-snapshot
Analyzing Chat Conversations of Pedophiles with Temporal Relational Semantic Systems
inferred← citeshttps://doi.org/10.1109/iccp.2017.8116983openalex-snapshot
Conceptual graph driven modeling and querying methods for RDMBS and XML databases
inferred← citeshttps://doi.org/10.14400/jdc.2014.12.12.285openalex-snapshot
A Survey on Functions and Characteristics of Conceptual Graph Tools
inferred← citeshttps://doi.org/10.17706/jsw.15.2.45-52openalex-snapshot
Research on Natural Language Processing and Semantic Analysis Model Application Based on Conceptual Graphs
inferred← citeshttps://doi.org/10.23919/softcom.2017.8115519openalex-snapshot
Conceptual graphs based modeling and querying of XML data
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.