2042 Eaton Hall
1520 West 15th Street
Lawrence KS 66045-7621
Education:
Ph.D. in Intelligentia Artificiosa, University of Edinburgh, 1978
B.E. in Systems and Information Science, Vanderbilt University, 1972
Teaching:
Artificial Intelligence
Programming Languages
Service:
Research:
Automatic deductions
Artificial intelligence
Affiliations:
Deans medal for honors from Vanderbilt University, 1972
Graduate Studentship from the University of Edinburgh,1972-1975
Memberships:
American Association for Artificial Intelligence
Association for Computing Machinery
Association for Automated Reasoning
Honors:
Selected Publications:
Frank M. Brown, Arvin Agah, John M. Gauch, Tom Schreiber, and Shari R. Speer, "A Cognitive Robot with Reconfigurable Mind for Studying Theories of Ambiguity Resolution", 1999 IEEE International Conference on Systems, Man, and Cybernetics, October 12-15, 1999, Tokyo, Japan, http://www.intergroup.co.jp/smc99/
Frank M. Brown, "Decision Procedures for the Propositional Cases of 2nd Order Logic and Z Modal Logic Representations of a 1st Order L-Predicate Nonmonotonic Logic", Automated Reasoning with Analytic Tableaux and Related Method: Tableaux 2003, September 2003, Rome, Lecture Notes in Artificial Intelligence 2796, ISBN 3-540-40787-1, Springer-Verlag, Berlin, 2003.
Frank M. Brown "Logistica 2.0: A Technology for Implementing Automatic Deduction Systems", Automated Reasoning with Analytic Tableaux and Related Method: Tableaux 2003, September 2003, Rome, Lecture Notes in Artificial Intelligence 2796, ISBN 3-540-40787-1, Springer-Verlag, Berlin, 2003.
Frank M. Brown, "Methods for Solving Necessary Equivalences", Information Theories and Applications, Vol. 11, no. 4, pages: 362-370, 2004.
Frank M. Brown, "Automatic Fixed-Point Deduction Systems for Five Different Propositional Nonmonotonic Logics", to appear in Proceedings of the X-th International Conference Knowledge Dialogue Solution - Varna 2005, pages 356 – 364, ISBN 954-16-0025-5, FOI-Commerce, Sofia, 2005.
