Circumscription and implicit definability

Some computational aspects of circumscription

Journal of the ACM (JACM)

Intended models, circumscription and commonsense reasoning

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

Circumscription and definability

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1

A theory of default reasoning

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1

A theory of default reasoning

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1

Reasoned Assumptions And Rational Psychology

Fundamenta Informaticae

Circumscription And Generic Mathematical Objects

Fundamenta Informaticae