Infinitary default logic for specification of nonmonotonic reasoning

DOI10.1007/3-540-61630-6_15MaRDI QIDQ5236436zbMATH OpenOpenAlexFDO

Authors Joeri Engelfriet, Wiktor Marek, Jan Treur, Mirosław Truszczyński

Publication date 8 October 2019

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61630-6_15

zbMATH Keywords

default logicinfinitary default logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Default logic and specification of nonmonotonic reasoning
• Representation theory for default logic
• The dynamics of default reasoning
• Axiomatization of credulous reasoning in rational default logic
• scientific article; zbMATH DE number 1754685

Cites work

• scientific article; zbMATH DE number 478394 (Why is no real title available?)
• A logic for default reasoning
• Nonmonotonic reasoning with multiple belief sets
• Specification of nonmonotonic reasoning

Cited in

(3)

• Default logic and specification of nonmonotonic reasoning
• scientific article; zbMATH DE number 1088041 (Why is no real title available?)
• scientific article; zbMATH DE number 1754685 (Why is no real title available?)

This page was built for publication: Infinitary default logic for specification of nonmonotonic reasoning

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