Interest driven suppositional reasoning

DOI10.1007/BF00244357zbMath0714.68090OpenAlexW2020744295MaRDI QIDQ751310

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

reasoningnatural deductionautomated theorem proving

Mathematics Subject Classification ID

Related Items

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