On the public citation graph

Interest driven suppositional reasoning

https://doi.org/10.1007/bf00244357
0 signed · 26 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/3-540-16780-3_105openalex-snapshot
Controlling deduction with proof condensation and heuristics
inferredcites →https://doi.org/10.1007/3-540-16780-3_128openalex-snapshot
The TPS theorem proving system
inferredcites →https://doi.org/10.1007/3-540-16780-3_143openalex-snapshot
ITP at argonne national laboratory
inferredcites →https://doi.org/10.1007/bf00244513openalex-snapshot
HARP: A tableau-based theorem prover
inferredcites →https://doi.org/10.1007/bf00246025openalex-snapshot
Schubert's Steamroller problem: Formulations and solutions
inferredcites →https://doi.org/10.1007/bf00297245openalex-snapshot
A prolog technology theorem prover: Implementation by an extended prolog compiler
inferredcites →https://doi.org/10.1007/bf02432151openalex-snapshot
Seventy-five problems for testing automatic theorem provers
inferredcites →https://doi.org/10.1016/0004-3702(82)90011-xopenalex-snapshot
Completely non-clausal theorem proving
inferredcites →https://doi.org/10.1016/c2009-0-22103-9openalex-snapshot
Symbolic Logic and Mechanical Theorem Proving
inferredcites →https://doi.org/10.1090/conm/029/09openalex-snapshot
Automating Higher-Order Logic
inferredcites →https://doi.org/10.1109/tc.1976.1674697openalex-snapshot
Resolution, Refinements, and Search Strategies: A Comparative Study
inferredcites →https://doi.org/10.1145/321850.321858openalex-snapshot
A Human Oriented Logic for Automatic Theorem-Proving

What points at this work

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

inferred← citeshttps://doi.org/10.1007/978-1-4020-1986-9_24openalex-snapshot
Epistemology and Cognitive Science
inferred← citeshttps://doi.org/10.1007/978-90-481-8785-0_4openalex-snapshot
Extended Natural Deduction
inferred← citeshttps://doi.org/10.1016/0004-3702(92)90103-5openalex-snapshot
How to reason defeasibly
inferred← citeshttps://doi.org/10.1016/0364-0213(93)90004-ropenalex-snapshot
The Phylogeny of Rationality
inferred← citeshttps://doi.org/10.1016/b978-0-444-52937-4.50007-1openalex-snapshot
A History of Natural Deduction
inferred← citeshttps://doi.org/10.1016/s0004-3702(96)00041-0openalex-snapshot
Abstract argumentation systems
inferred← citeshttps://doi.org/10.1016/s0004-3702(98)00078-2openalex-snapshot
Reaching agreements through argumentation: a logical model and implementation
inferred← citeshttps://doi.org/10.1023/a:1005035316026openalex-snapshot
Automated Natural Deduction in Thinker
inferred← citeshttps://doi.org/10.1080/02698599308573459openalex-snapshot
Pollock on token physicalism, agent materialism and strong artificial intelligence
inferred← citeshttps://doi.org/10.1080/09528130110116642openalex-snapshot
Argumentation through a distributed self-stabilizing approach
inferred← citeshttps://doi.org/10.1080/09528138908953702openalex-snapshot
OSCAR: a general theory of rationality
inferred← citeshttps://doi.org/10.1080/11663081.1996.10510868openalex-snapshot
OSCAR
inferred← citeshttps://doi.org/10.14195/1984-249x_30_4openalex-snapshot
Argumentation and counterfactual reasoning in Parmenides and Melissus
inferred← citeshttps://doi.org/10.5209/rev_resf.1998.v20.11434openalex-snapshot
El razonamiento defectible y sus fronteras epistémico-metodológicas
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.