scientific article; zbMATH DE number 1612544

zbMATH Open0963.03005MaRDI QIDQ2721189FDOQ2721189

Antonino Rotolo, Alberto Artosi, Guido Governatori

Publication date: 1 July 2001

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Cited In (3)

• Title not available (Why is that?)
• Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
• An analytic tableau calculus for a temporalised belief logic

   Recommendations

• Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations 👍 👎
• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning 👍 👎
• Automated Reasoning with Analytic Tableaux and Related Methods 👍 👎
• Non-cumulative reasoning: rules and models 👍 👎
• Title not available (Why is that?) 👍 👎

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 Q2721189)