scientific article; zbMATH DE number 834571

MaRDI QIDQ4860658zbMATH OpenFDO

Authors Marta Cialdea Mayer, Fiora Pirri

Publication date 13 February 1996

zbMATH Keywords

abductive reasoninganalytic tableauxmodal abductionmodal logicproof-theoretical abduction

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• Tableaux for structural abduction
• A modal framework for modelling abductive reasoning
• A conditional logic for abduction
• scientific article; zbMATH DE number 512816
• Towards Abductive Reasoning in First-order Logic

Cited in

(14)

• Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction
• Inferential conditionals and evidentiality
• ABox abduction in the description logic \(\mathcal{ALC}\)
• An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution
• Metabolic pathways as temporal logic programs
• Tableaux for structural abduction
• A modal framework for modelling abductive reasoning
• Identifying efficient abductive hypotheses using multicriteria dominance relation
• Modelling abduction in science by means of a modal adaptive logic
• scientific article; zbMATH DE number 5295858 (Why is no real title available?)
• Temporal abductive reasoning about biochemical reactions
• Compilability of propositional abduction
• Adding abductive reasoning to a propositional logic
• Abduction as deductive saturation: a proof-theoretic inquiry

This page was built for publication:

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