Title: Truth maintenance systems
Subjects: Congresses, Truth maintenance systems, Artificial intelligence