Abduction and dialogical proof in argumentation and logic programming

MaRDI QIDQ5282962zbMATH OpenFDO

Authors Richard Booth, Souhila Kaci, Tjitze Rienstra, Leendert van der Torre, Dov Gabbay

Publication date 18 July 2017

Full work available at URL https://arxiv.org/abs/1407.3896, http://ebooks.iospress.nl/volumearticle/36926

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Abduction in argumentation frameworks
• Between sentential and model-based abductions: a dialogical approach
• Abduction as belief revision
• scientific article; zbMATH DE number 1222412
• Abductive Logic Programming

Cited in

(15)

• Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction
• Between sentential and model-based abductions: a dialogical approach
• Abduction in argumentation frameworks
• A logical framework for user-feedback dialogues on hypotheses in weighted abduction
• Abduction, conversational implicature and misleading in human dialogues
• Modelling abduction in science by means of a modal adaptive logic
• Systems of argumentation and abduction inference
• scientific article; zbMATH DE number 7084933 (Why is no real title available?)
• The IFF proof procedure for abductive logic programming
• Abductive reasoning for continual dialogue understanding
• Using Abduction to Compute Efficient Proofs
• Explanations of non-monotonic inference in admissibility-based abstract argumentation
• Abduction with Dialogical and Trialogical Means
• On the responsibility for undecisiveness in preferred and stable labellings in abstract argumentation
• Change in quantitative bipolar argumentation: sufficient, necessary, and counterfactual explanations

This page was built for publication: Abduction and dialogical proof in argumentation and logic programming

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