zbMath0826.68114MaRDI QIDQ4837944
Torsten Schaub, Philippe Besnard
Publication date: 20 November 1995
zbMATH Keywords
default logic; default reasoning
Mathematics Subject Classification ID
68T27: Logic in artificial intelligence
03B70: Logic in computer science
Related Items