zbMath0946.03032MaRDI QIDQ4955326
Tomi Janhunen
Publication date: 25 May 2000
zbMATH Keywords
nonmonotonic logic; nonmonotonic reasoning; expressive power hierarchy; semi-normal default logic
Mathematics Subject Classification ID
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
Related Items