Abduction and dialogical proof in argumentation and logic programming
From MaRDI portal
(Redirected from Publication:5282962)
Recommendations
Cited in
(20)- On the responsibility for undecisiveness in preferred and stable labellings in abstract argumentation
- Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction
- Explanations of non-monotonic inference in admissibility-based abstract argumentation
- Modelling abduction in science by means of a modal adaptive logic
- Unified logic programming approach to the abduction of plans and intentions in information-seeking dialogues
- Abduction with Dialogical and Trialogical Means
- scientific article; zbMATH DE number 1303444 (Why is no real title available?)
- The IFF proof procedure for abductive logic programming
- Abduction, conversational implicature and misleading in human dialogues
- Abduction in argumentation frameworks
- Between sentential and model-based abductions: a dialogical approach
- Using Abduction to Compute Efficient Proofs
- Abductive reasoning for continual dialogue understanding
- scientific article; zbMATH DE number 7084933 (Why is no real title available?)
- Conjecturing hypotheses in a dialogical logic for abduction. With a response by John Woods
- Change in quantitative bipolar argumentation: sufficient, necessary, and counterfactual explanations
- A logical framework for user-feedback dialogues on hypotheses in weighted abduction
- On pluralistic methods for explaining argument acceptance in abstract argumentation
- On generalized notions of consistency and reinstatement and their preservation in formal argumentation
- Systems of argumentation and abduction inference
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)
