scientific article; zbMATH DE number 1754692

MaRDI QIDQ4535120zbMATH OpenFDO

Authors Yao-Hua Tan, P. Besnard

Publication date 4 November 2002

zbMATH Keywords

consistency checkcontextscontextual logicdefault assumptionsnatural deductionnonmonotonic logicnonmonotonic reasoning

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Cited in

(2)

• Contextual Natural Deduction
• Modelling reasoning processes in natural agents: a partial-worlds-based logical framework for elemental non-monotonic inferences and learning

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