next up previous
Next: About this document ...


February 2001




Gordon Beavers
Visiting Associate Professor of Computer Science
The University of Arkansas



ADDRESS:

Office:   Residence:  
  318 Engineering Hall   3087 Mica
  The University of Arkansas   Fayetteville AR 72704
  Fayetteville AR 72701    
  (501) 575-6040   (501) 973-9751
  beavers@engr.uark.edu    



EDUCATION:

The University of Texas (Austin) B.A. , M.A.

Indiana University (Bloomington) Ph.D.
Dissertation Title: Topics in \Lukasiewicz Logics



RECENT ACADEMIC EMPLOYMENT:

August 1999 - present
The University of Arkansas, Visiting Associate Professor of Computer Science

August 1996 - May 1999
University of the Ozarks, Associate Professor of Mathematics.

August 1991 - July 1996
University of the Ozarks, Assistant Professor of Mathematics.



AWARDS AND DISTINCTIONS:

MAA Institute in the History of Mathematics Institute Participant (1996)

Arkansas Space Grant Consortium (Three Awards, 1995, 96, and 97)

Dial Faculty Enhancement Grant (Two Awards, 1994 and 1996)

Outstanding Dissertation Award for 1991, Indiana University



PUBLICATIONS:

2001
``Team Formation'', with Henry Hexmoor, in preparation.

2001
``A Robot Team that can Search, Rescue, and a serve Cookies: Experiments in Multi-modal Person Identification and Multi-robot Sound Localization'' with D. Blank, W. Arensman, C. Caloianu, T. Fujiwara, S. McCaul, and C. Shaw. Proceedings of MAICS 2001, to appear.

2001
Review of Reasoning about Rational Agents by Michael Wooldridge, with Henry Hexmoor, ACM intelligence, to appear.

1994
``Theorem Counting'', Topoi, vol. 13, pp. 61 - 65.

1993
``Extensions of the $\aleph_{0}$-Valued \Lukasiewicz Propositional Logic'' Notre Dame Journal of Formal Logic, Vol. 34, No. 2, pp. 251 - 262.

1993
``Automated Theorem Proving For \Lukasiewicz Logics'', Studia Logica, Vol. 52, No. 2, pp. 183 - 195.

1992
``Distribution in \Lukasiewicz Logics'', Bulletin of the Section of Logic (Polish Academy of Sciences), Vol. 21, no. 4, pp. 140 - 146.



SERVICE:




next up previous
Next: About this document ...
Gordon Beavers 2001-02-26