Infinitary default logic for specification of nonmonotonic reasoning

DOI10.1007/3-540-61630-6_15zbMATH Open1427.68290OpenAlexW1610119672MaRDI QIDQ5236436FDOQ5236436

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

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

zbMATH Keywords

default logicinfinitary default logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• A logic for default reasoning
• Title not available (Why is that?)
• Specification of nonmonotonic reasoning
• Nonmonotonic reasoning with multiple belief sets

Cited In (3)

• Default logic and specification of nonmonotonic reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)

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)