Helmut Thöne

• Precise conclusions under uncertainty and incompleteness in deductive database systems