Formal Reasoning Group
======================
**The formal reasoning group focuses on the analysis and development of formal reasoning in artificial intelligence.**
### Coming Event
* [**Self-Aware Systems Workshop**](jmc/www.selfawaresystems.org/)
### Members
* [McCarthy, John](http://www-formal.stanford.edu/jmc/index.html)
* [Makarios, Selene](http://www-formal.stanford.edu/selene/)
### FRG Alumni
* [Amir, Eyal](http://www-formal.stanford.edu/eyal/)
* [Buvac, Sasa](http://www-formal.stanford.edu/buvac/)
* [Costello, Tom](http://www-formal.stanford.edu/tjc/home.html)
* [Guha R. V.](http://www-formal.stanford.edu/guha/index.html)
* [Parmar, Aarati](http://www-formal.stanford.edu/aarati/)
* [Patterson, Anna](http://www-formal.stanford.edu/annap/www/annap.html)
* [Sierra, Josefina](http://www-formal.stanford.edu/jsierra/index.html)
* [Talcott, Carolyn](http://www-formal.stanford.edu/clt/home.html)
* [Chris Lilly, Administrator](http://www-formal.stanford.edu/lilly/index.html)
### Related Logical AI Researchers
* [Cindy Mason](http://www-formal.stanford.edu/cmason/)
* [Leora Morgenstern](http://www-formal.stanford.edu/leora/)
* * *
The [interests](http://www-formal.stanford.edu/overview.html) of the group.
We participate in the [HPKB](http://www.teknowledge.com:80/HPKB/) project, and we keep a special [web page](hpkb) for it.
In the Spring of 1997, there was established a [**Seminar on Human-Level AI**](http://www-formal.stanford.edu/human-level/index.html)
In the Spring of 1998, Stanford is hosting the 7th Workshop on [**Logic, Language and Computation**](http://www-linguistics.stanford.edu/Linguistics/llc)
We are one of the coordinators of the [**Virtual Worldwide Seminar on Context**](http://www-formal.stanford.edu/virtual_seminar).
Other Research Groups and Servers
---------------------------------
Rob Miller and Chitta Baral have established a page of people working on [Reasoning about actions (El Paso)](http://cs.utep.edu/actions/researchers.html)
[Reasoning about Actions (London)](http://www-lp.doc.ic.ac.uk/UserPages/staff/rsm/ReasoningAboutActions.html)
Here is a picture of Murray Shanahan, Tom Costello, and John McCarthy on March 29th 1995. [click here](http://www-formal.stanford.edu/tjc/pictures/Three_people.GIF)
* * *
[The **Stanford** home page](http://www.stanford.edu/stanford.html).
[The **Computer Science Department** home page](http://www-cs.stanford.edu/csd/csd.html).
The number of hits on this page since October 17th.