Propositional logic of context

Introduction to Metamathematics

1952 • 4,450 citations

An assumption-based TMS

1986 • 1,772 citations

A guide to completeness and complexity for modal logics of knowledge and belief

1992 • 849 citations

Knowledge Interchange Format Version 3.0 Reference Manual

1992 • 813 citations

Notes on formalizing context

1993 • 788 citations

Generality in artificial intelligence

1987 • 363 citations

Contexts: a formalization and some applications

1992 • 356 citations

The representation and use of focus in a system for understanding dialogs

1977 • 225 citations

Formalizing Common Sense: Papers by John McCarthy

1998 • 150 citations

CYC: A MID-TERM REPORT

1991 • 55 citations

Varieties of Context

1991 • 45 citations

Two Papers on Partial Predicate Calculus

1972 • 5 citations