Abstraction, Reformulation, and Approximation
4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings
Book titles in this series
-
-
Advances in Artificial Intelligence
13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2000 Montreal, Quebec, Canada, May 14-17, 2000 Proceedings
-
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
Based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997.
-
AI*IA 99:Advances in Artificial Intelligence
6th Congress of the Italian Association for Artificial Intelligence Bologna, Italy, September 14-17, 1999 Selected Papers
-
Artificial Intelligence: Methodology, Systems, and Applications
8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998, Proceedings
-
Automated Deduction in Geometry
Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
-
Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings
-
Co-ordination in Artificial Agent Societies
Social Structures and Its Implications for Autonomous Problem-Solving Agents
-
-
Computational Logic — CL 2000
First International Conference London, UK, July 24–28, 2000 Proceedings
