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

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

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 30, 1993
Accession Number
ADA275199

Entities

People

  • Frederick Hoffman

Organizations

  • Florida Atlantic University

Tags

Communities of Interest

  • Autonomy

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Computer Programming
  • Education
  • Genetic Algorithms
  • Geometry
  • Learning
  • Mathematics
  • Motion Planning
  • Neural Networks
  • Reasoning
  • Scientific Research
  • Universities
  • Workshops

Readers

  • Academic Conference Management
  • Artificial Intelligence

Technology Areas

  • AI & ML
  • AI & ML - Machine Learning Algorithms
  • Biotechnology