Accession Number:

ADA275199

Title:

Partial Support for the Second International Symposium on Artificial Intelligence and Mathematics (2nd) Held in Boca Raton, Florida on January 5-8, 1992

Descriptive Note:

Final rept. 1 Jan 1992-30 Apr 1993

Corporate Author:

FLORIDA ATLANTIC UNIV BOCA RATON

Personal Author(s):

Report Date:

1993-04-30

Pagination or Media Count:

3.0

Abstract:

For the Second Symposium, the invited speakers were Zolar Manna Standford Modular Temporal Reasoning, Heinz-Otto Peitgen Bremen and Florida Atlantic University, Cellular Automata, Fractals and Attractors, K. Ebcioglu IBM Yorktown Heights, A logic Programming System for Chorale Harmonization , and J C Latombe Stanford, Geometry and Search in Motion Planning. The program Committee accepted 52 papers, with speakers from 16 countries. The sessions were on logic, non-monotonic logic, theorem proving, logic programming, constraints, learning, reasoning, neutral networks, and genetic algorithms, with one session on applications and one general session. There was also a somewhat autonomous Autonomous Control Workshop, organized by Anil Nerode, and held concurrently with the Symposium. Sunday mornings session and the invited talks were plenary there were two concurrent sessions the rest of the three and one-half days.

Subject Categories:

  • Computer Programming and Software
  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE