Recovery of (non)monotonic theories

DOI10.1016/S0004-3702(98)00099-XzbMath0908.03029OpenAlexW2162028279MaRDI QIDQ1275600

Cees Witteveen, Wiebe van der Hoek

Publication date: 12 January 1999

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

Full work available at URL: https://doi.org/10.1016/s0004-3702(98)00099-x

zbMATH Keywords

nonmonotonic logicconsistencyexpansionsrationalitycontractionstheory revisionrecovery

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Cites Work

• Negation in rule-based database languages: A survey
• Nonmonotonic reasoning, preferential models and cumulative logics
• Cumulative default logic: In defense of nonmonotonic inference rules
• Revision by communication
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Recovery of (non)monotonic theories