Specification of nonmonotonic reasoning

DOI10.1007/3-540-61313-7_67MaRDI QIDQ4632292zbMATH OpenOpenAlexFDO

Authors Joeri Engelfriet, Jan Treur

Publication date 29 April 2019

Published in Practical Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61313-7_67

zbMATH Keywords

nonmonotonic reasoningspecificationtemporal logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Specification of nonmonotonic reasoning
• scientific article; zbMATH DE number 1754685
• scientific article; zbMATH DE number 408769
• Nonmonotonic reasoning, preferential models and cumulative logics
• Default logic and specification of nonmonotonic reasoning

Cites work

• A logic for default reasoning
• scientific article; zbMATH DE number 478394 (Why is no real title available?)
• scientific article; zbMATH DE number 1761407 (Why is no real title available?)
• scientific article; zbMATH DE number 1761424 (Why is no real title available?)
• scientific article; zbMATH DE number 194618 (Why is no real title available?)
• Minimal temporal epistemic logic
• Nonmonotonic reasoning, preferential models and cumulative logics

Cited in

(9)

• Formalizing nonmonotonic reasoning systems
• Compiling specificity into approaches to nonmonotonic reasoning
• Nonmonotonic reasoning in \(LDL^{++}\)
• Specification of nonmonotonic reasoning
• Non-cumulative reasoning: rules and models
• scientific article; zbMATH DE number 1754685 (Why is no real title available?)
• scientific article; zbMATH DE number 954320 (Why is no real title available?)
• Only persistence makes nonmonotonicity monotonous (extended abstract)
• Infinitary default logic for specification of nonmonotonic reasoning

This page was built for publication: Specification of nonmonotonic reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4632292)