scientific article; zbMATH DE number 1612544

zbMATH Open0963.03005MaRDI QIDQ2721189FDOQ2721189

Authors: Alberto Artosi, Guido Governatori, Antonino Rotolo 

Publication date: 1 July 2001

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

Recommendations

• Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• Tableau calculi for preference-based conditional logics
• Non-cumulative reasoning: rules and models
• scientific article

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

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)