scientific article; zbMATH DE number 834571
From MaRDI portal
Publication:4860658
zbMath0847.03010MaRDI QIDQ4860658
Fiora Pirri, Marta Cialdea Mayer
Publication date: 13 February 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)
Related Items (8)
Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation ⋮ Temporal abductive reasoning about biochemical reactions ⋮ Abduction as deductive saturation: a proof-theoretic inquiry ⋮ ABox abduction in the description logic \(\mathcal{ALC}\) ⋮ An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution ⋮ Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction ⋮ Inferential conditionals and evidentiality ⋮ Metabolic Pathways as Temporal Logic Programs
This page was built for publication:
