Gerhard Lakemeyer

1957 – *

• Models of belief for decidable reasoning in incomplete knowledge bases