Publication:4236372
From MaRDI portal
zbMath0928.68106MaRDI QIDQ4236372
Anthony Hunter, Philippe Besnard
Publication date: 14 September 1999
68T27: Logic in artificial intelligence
68T30: Knowledge representation
68T37: Reasoning under uncertainty in the context of artificial intelligence
03B70: Logic in computer science
Related Items
Reasoning under inconsistency: a forgetting-based approach, Recovering Consistency by Forgetting Inconsistency