Titlebook: Artificial Intelligence and Symbolic Mathematical Computing; International Confer Jacques Calmet,John A. Campbell Conference proceedings 19

LAITY

Olaf Tschimpke,Benjamin Bongardts already provide user-friendly interfaces to several software tools, but will AI play a still larger role in the future? We open a discussion on the interaction of AI and Symbolic Mathematical Computation, and pose many questions which should be addressed.

MAIZE

Armin Reller,Volker Zepf,Benjamin Achzet topological reasoning and so-called fibered logical spaces for logical reasoning in robotics. The main perspective is on interaction and combination of different fields and methods from symbolic mathematical computation and AI and the mutual stimulation given by the various disciplines.

infantile

Tullio Tolio,Giacomo Copani,Walter Terkajigence is presented on a level of abstraction which permits a unifying viewpoint on problems in symbolic computation and artificial intelligence. We refer to applications in computational polynomial ideal theory and in general problem-solving in the sense of AI research.

hardheaded

Tullio Tolio,Giacomo Copani,Walter Terkajsuch a type system are polymorphism and coercion between types. Recently the use of order-sorted rewrite systems was proposed as a general framework..We will give a quite simple example of a family of types arising in computer algebra whose coercion relations cannot be captured by a finite set of first-order rewrite rules.

散开

arousal

ABIDE

Qualitative modeling of physical systems in AI research,tative level. Providing formalisms, languages, and systems for the acquisition and use of qualitative models is the goal of a very active research area in Artificial Intelligence. In this introductory survey, we discuss motivations for this research, illustrate different approaches by presenting som

巨大没有

BACLE

阴险