Abduction and dialogical proof in argumentation and logic programming

zbMATH Open1366.68279arXiv1407.3896MaRDI QIDQ5282962FDOQ5282962

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

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

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• Systems of argumentation and abduction inference
• 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)