Infinitary default logic for specification of nonmonotonic reasoning

DOI10.1007/3-540-61630-6_15zbMath1427.68290OpenAlexW1610119672MaRDI QIDQ5236436

Jan Treur, Victor W. Marek, Miroslaw Truszczynski, Joeri Engelfriet

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)

Cites Work

• Unnamed Item
• A logic for default reasoning
• Specification of nonmonotonic reasoning
• Nonmonotonic reasoning with multiple belief sets

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