A sphere world semantics for default reasoning

DOI10.1007/3-540-59487-6_13zbMath1496.68314OpenAlexW1503836239MaRDI QIDQ5101449

João C. P. da Silva, Sheila R. M. Veloso

Publication date: 30 August 2022

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (1)

Simplified forms of computerized reasoning with distance semantics

Cites Work

• Negation by default and unstratifiable logic programs
• Formalizing nonmonotonic reasoning systems
• Two modellings for theory change
• A logical framework for default reasoning
• A logic for default reasoning
• General logical databases and programs: Default logic semantics and stratification
• Nonmonotonic inference based on expectations
• Unifying default reasoning and belief revision in a modal framework
• Conditional logics of normality: A modal approach
• 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

This page was built for publication: A sphere world semantics for default reasoning