Formal Reasoning Group

Coming Event

• Self-Aware Systems Workshop

Members

• McCarthy, John
• Makarios, Selene

FRG Alumni

• Amir, Eyal
• Buvac, Sasa
• Costello, Tom
• Guha R. V.
• Parmar, Aarati
• Patterson, Anna
• Sierra, Josefina
• Talcott, Carolyn
• Chris Lilly, Administrator

Related Logical AI Researchers

• Cindy Mason
• Leora Morgenstern

The interests of the group.

We participate in the HPKB project, and we keep a special web page for it.

In the Spring of 1997, there was established a Seminar on Human-Level AI

In the Spring of 1998, Stanford is hosting the 7th Workshop on Logic, Language and Computation

We are one of the coordinators of the Virtual Worldwide Seminar on Context.

Other Research Groups and Servers

Reasoning about Actions (London)

Here is a picture of Murray Shanahan, Tom Costello, and John McCarthy on March 29th 1995. click here

The Stanford home page.

The Computer Science Department home page.

The number of hits on this page since October 17th.