Specification of nonmonotonic reasoning

DOI10.1007/3-540-61313-7_67zbMath1419.68112OpenAlexW2029867900MaRDI QIDQ4632292

Jan Treur, Joeri Engelfriet

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

temporal logicnonmonotonic reasoningspecification

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (2)

Only persistence makes nonmonotonicity monotonous ⋮ Infinitary default logic for specification of nonmonotonic reasoning

Cites Work

• A logic for default reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• Minimal temporal epistemic logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Specification of nonmonotonic reasoning