scientific article; zbMATH DE number 1754685

zbMATH Open1017.68122MaRDI QIDQ4535113FDOQ4535113

Authors: Joeri Engelfriet, Jan Treur 

Publication date: 12 June 2002

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

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

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)

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
• Title not available (Why is that?)
• 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)