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

摘要

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 morning's session and the invited talks were plenary; there were two concurrent sessions the rest of the three and one-half days.