scientific article; zbMATH DE number 1754685

MaRDI QIDQ4535113zbMATH OpenFDO

Authors Joeri Engelfriet, Jan Treur

Publication date 12 June 2002

zbMATH Keywords

linear time temporal modelsmultiple belief setsreasoning frames

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Specification of nonmonotonic reasoning
• Specification of nonmonotonic reasoning
• Default logic and specification of nonmonotonic reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• Infinitary default logic for specification of nonmonotonic reasoning

Cited in

(8)

• Formalizing nonmonotonic reasoning systems
• Compiling specificity into approaches to nonmonotonic reasoning
• Default logic and specification of nonmonotonic reasoning
• Non-cumulative reasoning: rules and models
• scientific article; zbMATH DE number 1735628 (Why is no real title available?)
• Specification of nonmonotonic reasoning
• A formalization of reasoning not derived from standard predicate logic
• Infinitary default logic for specification of nonmonotonic reasoning

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