On the public citation graph

Argumentation within deductive reasoning

https://doi.org/10.1002/int.20189

0 signed · 34 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.1006/ijhc.2000.0430openalex-snapshot

Tailoring inference-rich descriptions through making compromises between conflicting cooperation principles

inferredcites →https://doi.org/10.1007/3-540-10009-1_22openalex-snapshot

Transforming matings into natural deduction proofs

inferredcites →https://doi.org/10.1007/3-540-47987-2_60openalex-snapshot

Teaching Case-Based Argumentation Concepts Using Dialectic Arguments vs. Didactic Explanations

inferredcites →https://doi.org/10.1007/3-540-48660-7_10openalex-snapshot

Presenting Proofs in a Human-Oriented Way

inferredcites →https://doi.org/10.1007/3-540-58156-1_53openalex-snapshot

Reconstructing proofs at the assertion level

inferredcites →https://doi.org/10.1007/3-540-63104-6_7openalex-snapshot

Integration of automated and interactive theorem proving in ILF

inferredcites →https://doi.org/10.1007/978-1-4757-5945-7_1openalex-snapshot

A Reactive Approach to Explanation: Taking the User’s Feedback into Account

inferredcites →https://doi.org/10.1007/978-94-017-0435-9_4openalex-snapshot

Integrating Automated and Interactive Theorem Proving

inferredcites →https://doi.org/10.1007/bf00246025openalex-snapshot

Schubert's Steamroller problem: Formulations and solutions

inferredcites →https://doi.org/10.1007/bf01201353openalex-snapshot

Untersuchungen �ber das logische Schlie�en. I

inferredcites →https://doi.org/10.1007/bfb0014048openalex-snapshot

Extracting text from proofs

inferredcites →https://doi.org/10.1016/0004-3702(76)90007-2openalex-snapshot

The translation of formal proofs into English

inferredcites →https://doi.org/10.1016/0004-3702(95)00114-xopenalex-snapshot

The effect of resource limits and task complexity on collaborative planning in dialogue

inferredcites →https://doi.org/10.1016/s0004-3702(99)00076-4openalex-snapshot

Knowledge-based proof planning

inferredcites →https://doi.org/10.1016/s1389-0417(99)00005-4openalex-snapshot

AutoTutor: A simulation of a human tutor

inferredcites →https://doi.org/10.1023/a:1008297401272openalex-snapshot

A Model for Adapting Explanations to the User's Likely Inferences

inferredcites →https://doi.org/10.1163/9789004368811_003openalex-snapshot

Logic and Conversation

inferredcites →https://doi.org/10.1207/s15327809jls0402_2openalex-snapshot

Cognitive Tutors: Lessons Learned

inferredcites →https://doi.org/10.7916/d8k3630vopenalex-snapshot

Verbalization of high-level formal proofs

inferredcites →https://doi.org/10.7939/r3028pj1hopenalex-snapshot

Natural language explanation of natural deduction proofs

What points at this work

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

inferred← citeshttps://doi.org/10.1002/9781119507291.biblioopenalex-snapshot

Bibliography

inferred← citeshttps://doi.org/10.1002/int.20187openalex-snapshot

Recent advances in computational models of natural argument

inferred← citeshttps://doi.org/10.1007/978-3-642-15184-2_29openalex-snapshot

Approaches to Verbal Persuasion in Intelligent User Interfaces

inferred← citeshttps://doi.org/10.1007/s10503-018-9474-xopenalex-snapshot

Argumentation Theory for Mathematical Argument

inferred← citeshttps://doi.org/10.1080/08839510601117169openalex-snapshot

A TAXONOMY OF STRATEGIES FOR MULTIMODAL PERSUASIVE MESSAGE GENERATION

inferred← citeshttps://doi.org/10.18653/v1/w16-6613openalex-snapshot

Challenges of Argument Mining: Generating an Argument Synthesis based on the Qualia Structure

inferred← citeshttps://doi.org/10.18653/v1/w17-51openalex-snapshot

Proceedings of the 4th Workshop on Argument Mining

inferred← citeshttps://doi.org/10.18653/v1/w17-5111openalex-snapshot

Using Question-Answering Techniques to Implement a Knowledge-Driven Argument Mining Approach

inferred← citeshttps://doi.org/10.3233/aac-160005openalex-snapshot

Theoretical foundations for illocutionary structure parsing

inferred← citeshttps://doi.org/10.3233/aac-170124openalex-snapshot

Knowledge-driven argument mining based on the qualia structure

inferred← citeshttps://doi.org/10.3233/aac-180035openalex-snapshot

A two-level approach to generate synthetic argumentation reports

inferred← citeshttps://doi.org/10.3844/jcssp.2008.345.348openalex-snapshot

A Method of Deductive Logical Inference Proofs

inferred← citeshttps://doi.org/10.48550/arxiv.2101.05786openalex-snapshot

Persuasive Natural Language Generation -- A Literature Review

inferred← citeshttps://doi.org/10.63317/43wznreump7wopenalex-snapshot

Argument Mining: the Bottleneck of Knowledge and Language Resources

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.