Interest driven suppositional reasoning

DOI10.1007/BF00244357zbMATH Open0714.68090OpenAlexW2020744295MaRDI QIDQ751310FDOQ751310

John L. Pollock

Publication date: 1990

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00244357

zbMATH Keywords

natural deductionreasoningautomated theorem proving

Mathematics Subject Classification ID

Cited In (4)

• Abstract argumentation systems
• Argumentation through a distributed self-stabilizing approach
• Reaching agreements through argumentation: a logical model and implementation
• How to reason defeasibly

This page was built for publication: Interest driven suppositional reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q751310)