#### Filter Results:

- Full text PDF available (83)

#### Publication Year

1957

2019

- This year (7)
- Last 5 years (14)
- Last 10 years (31)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- John W McCarthy
- Artif. Intell.
- 1980

Humans and intelligent computer programs must often jump to the conclusion that the objects they can determine to have certain properties or relations are the only objects that do. Circumscriptionâ€¦ (More)

- Daniel G. Bobrow, Ronald J. Brachman, +8 authors L. Schubert
- LICS
- 1992

Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate programs. It has declarative semantics (i.e. the meaning of expressions in theâ€¦ (More)

- John W McCarthy
- IJCAI
- 1993

These notes discuss formal iz ing contexts as first class objects. The basic relat ion is ist(c,p). It asserts tha t the proposition p is t rue in the context c. The most impor tant formulas relateâ€¦ (More)

- John W McCarthy
- Artif. Intell.
- 1984

We present a new and more symmetric version of the circumscription method of nonmonotonic reasoning first described in (McCarthy 1980) and some applications to formalizing common sense knowledge. Theâ€¦ (More)

- Michael F McDermott, Ivona Aksentijevich, +30 authors Daniel L. Kastner
- Cell
- 1999

Autosomal dominant periodic fever syndromes are characterized by unexplained episodes of fever and severe localized inflammation. In seven affected families, we found six different missense mutationsâ€¦ (More)

- John W McCarthy
- IFIP Congress
- 1962

In this paper I shall discuss the prospects for a mathematical science of computation. In a mathematical science, it is possible to deduce from the basic assumptions, the important properties of theâ€¦ (More)

- John W McCarthy
- 1979

Humans and intelligent computer programs must often jump to the conclusion that the objects they can determine to have certain properties or relations are the only objects that do. Circumscriptionâ€¦ (More)

- John W McCarthy
- 1995

These notes discuss formalizing contexts as first class objects. The basic relation is ist(c, p). It asserts that the proposition p is true in the context c. The most important formulas relate theâ€¦ (More)

- John W McCarthy
- IJCAI
- 1977

In (McCarthy and Hayes 1969), we proposed dividing the artificial intelligence problem into two partsâ€”an epistemological part and a heuristic part. This lecture further explains this division,â€¦ (More)

- John W McCarthy
- 1979

Ascribing mental qualities like beliefs, intentions and wants to a machine is sometimes correct if done conservatively and is sometimes necessary to express what is known about its state. We proposeâ€¦ (More)