Publication:4860658
From MaRDI portal
zbMath0847.03010MaRDI QIDQ4860658
Fiora Pirri, Marta Cialdea Mayer
Publication date: 13 February 1996
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence
03B35: Mechanization of proofs and logical operations
Related Items
Temporal abductive reasoning about biochemical reactions, 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, Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation