Nonmonotonic reasoning with multiple belief sets

DOI10.1007/3-540-61313-7_83zbMath1419.68111OpenAlexW1536814009MaRDI QIDQ4632309

Joeri Engelfriet, Jan Treur, H.Herre

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_83

zbMATH Keywords

knowledge representationnonmonotonic inferencebelief sets

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

Infinitary default logic for specification of nonmonotonic reasoning

Cites Work

• Two modellings for theory change
• A logical framework for default reasoning
• Efficient reasoning about rich temporal domains
• A logic for default reasoning
• Representation theory for default logic
• On the logic of theory change: Partial meet contraction and revision functions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Nonmonotonic reasoning with multiple belief sets