Adding abductive reasoning to a propositional logic

DOI10.1093/LOGCOM/EXAB074OpenAlexW4212920653MaRDI QIDQ5866469FDOQ5866469

Authors: João Rasga, Cristina Sernadas 

Publication date: 22 September 2022

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exab074

Recommendations

• Publication:4860658
• A Formal Logic for Abductive Reasoning
• scientific article; zbMATH DE number 500950
• scientific article; zbMATH DE number 2085283
• Abductive Logic Programming

zbMATH Keywords

robot navigationabductive reasoningabductive multimodal logicmultiple-conclusion derivation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cited In (3)

• Adding the everywhere operator to propositional logic
• Let Us investigate! Dynamic conjecture-making as the formal logic of abduction
• Abductive reasoning through filtering

This page was built for publication: Adding abductive reasoning to a propositional logic

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