Hector Joseph Levesque

1951 – *

• A formal treatment of incomplete knowledge bases