A formal treatment of incomplete knowledge bases

Imprecise information and uncertainty in information systems

ACM Transactions on Information Systems (TOIS)

What should a database know?

Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

On integrity constraints

TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge

On perfect introspection with quantifying-in: extended abstract

TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge

The interaction with incomplete knowledge bases: a formal treatment

IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1

A formal approach to learning from examples

IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1

Evidential reasoning in semantic networks: a formal theory

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1