Interest driven suppositional reasoning

DOI10.1007/BF00244357MaRDI QIDQ751310zbMATH OpenOpenAlexFDO

Authors 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)