Piazza, Mario; Pulcini, Gabriele; Sabatini, Andrea Abduction as deductive saturation: a proof-theoretic inquiry. (English) Zbl 07785157 J. Philos. Log. 52, No. 6, 1575-1602 (2023). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI OA License
Millson, Jared; Straßer, Christian A logic for best explanations. (English) Zbl 1445.03036 J. Appl. Non-Class. Log. 29, No. 2, 184-231 (2019). Reviewer: Branislav Boričić (Beograd) MSC: 03B60 03B65 03F05 × Cite Format Result Cite Review PDF Full Text: DOI
Aiguier, Marc; Atif, Jamal; Bloch, Isabelle; Pino Pérez, Ramón Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction. (English) Zbl 1448.68394 Int. J. Approx. Reasoning 102, 1-20 (2018). MSC: 68T27 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Cerrito, Serenella; Mayer, Marta Cialdea; Demolombe, Robert Temporal abductive reasoning about biochemical reactions. (English) Zbl 1398.03154 J. Appl. Non-Class. Log. 27, No. 3-4, 269-291 (2017). MSC: 03B80 03B44 92C40 92E20 × Cite Format Result Cite Review PDF Full Text: DOI Link
Urbański, Mariusz; Wiśniewski, Andrzej On search for law-like statements as abductive hypotheses by Socratic transformations. (English) Zbl 1439.03041 Başkent, Can (ed.), Perspectives on interrogative models of inquiry. Developments in inquiry and questions. Cham: Springer. Log. Argum. Reason. 8, 111-127 (2016). MSC: 03B42 × Cite Format Result Cite Review PDF Full Text: DOI
Echenim, Mnacho; Peltier, Nicolas A superposition calculus for abductive reasoning. (English) Zbl 1433.03023 J. Autom. Reasoning 57, No. 2, 97-134 (2016). MSC: 03B35 68Q60 68V15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Echenim, Mnacho; Peltier, Nicolas; Tourret, Sophie Quantifier-free equational logic and prime implicate generation. (English) Zbl 1465.68280 Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 311-325 (2015). MSC: 68V15 03B35 × Cite Format Result Cite Review PDF Full Text: DOI
Komosinski, Maciej; Kups, Adam; Leszczyńska-Jasion, Dorota; Urbański, Mariusz Identifying efficient abductive hypotheses using multicriteria dominance relation. (English) Zbl 1354.68256 ACM Trans. Comput. Log. 15, No. 4, Article No. 28, 20 p. (2014). MSC: 68T27 03B35 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Beirlaen, Mathieu; Aliseda, Atocha A conditional logic for abduction. (English) Zbl 1310.03039 Synthese 191, No. 15, 3733-3758 (2014). MSC: 03B60 × Cite Format Result Cite Review PDF Full Text: DOI
Krzyżanowska, K.; Wenmackers, S.; Douven, I. Inferential conditionals and evidentiality. (English) Zbl 1305.03010 J. Logic Lang. Inf. 22, No. 3, 315-334 (2013). MSC: 03A05 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Velázquez-Quesada, Fernando R.; Soler-Toscano, Fernando; Nepomuceno-Fernández, Ángel An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution. (English) Zbl 1284.03147 J. Appl. Log. 11, No. 4, 505-522 (2013). MSC: 03B42 68T27 × Cite Format Result Cite Review PDF Full Text: DOI
Klarman, Szymon; Endriss, Ulle; Schlobach, Stefan ABox abduction in the description logic \(\mathcal{ALC}\). (English) Zbl 1213.68591 J. Autom. Reasoning 46, No. 1, 43-80 (2011). MSC: 68T27 68T15 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Soler-Toscano, Fernando; Nepomuceno-Fernández, Ángel; Aliseda-Llera, Atocha Abduction via \(C\)-tableaux and \(\delta\)-resolution. (English) Zbl 1187.68574 J. Appl. Non-Class. Log. 19, No. 2, 211-225 (2009). MSC: 68T27 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Mancarella, Paolo; Terreni, Giacomo; Sadri, Fariba; Toni, Francesca; Endriss, Ulle The CIFF proof procedure for abductive logic programming with constraints: theory, implementation and experiments. (English) Zbl 1184.68161 Theory Pract. Log. Program. 9, No. 6, 691-750 (2009). MSC: 68N17 × Cite Format Result Cite Review PDF Full Text: DOI
Yi, Bo; Tao, Xianping; Cioni, G.; Colagrossi, A. Intuitive minimal abduction in sequent calculi. (English) Zbl 0899.68098 J. Comput. Sci. Technol. 13, No. 3, 209-219 (1998). MSC: 68T15 03B35 × Cite Format Result Cite Review PDF Full Text: DOI