Artificial intelligence and symbolic mathematical computing : [first] International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings
This volume contains the papers, updated in some cases, presented at the first AISMC (Artificial Intelligence and Symbolic Mathematical Computations)conference, held in Karlsruhe, August 3-6, 1992. This was the first conference to be devoted to such a topic after a long period when SMC made no appea...
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science
737 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Artificial intelligence and symbolic mathematical computing, International Conference, AISMC-1, Karlsruhe, Germany, August 1992, proceedings, Jacques Calmet, John A. Campbell (eds), Heidelberg, Springer-Verlag, 1993, 1 vol. (305 p.), Lecture notes in computer science, 0-387-57322-4 • Artificial Intelligence and Symbolic Mathematical Computing, Texte imprimé, 9783662200285 |
İçindekiler:
- Artificial intelligence and symbolic mathematical computations
- Qualitative modeling of physical systems in AI research
- On the topological structure of configuration spaces
- A symbolic approach to interval constraint problems
- An algebraic approach to knowledge-based modeling
- Intelligent user interfaces for symbolic and numeric computation
- The progress towards an intelligent assistant A discussion paper
- On mathematical modeling in robotics
- Gröbner bases: Strategies and applications
- Heuristic search strategies for Cylindrical Algebraic Decomposition
- Unified domains and abstract computational structures
- Completion and invariant theory in symbolic computation and artificial intelligence
- A type-coercion problem in computer algebra
- Algorithmic development of power series
- A cooperative approach to query processing: Integrating historical, structural, and behavioral knowledge sources
- A desk-top sequent calculus machine
- Gentzen-style characterizations of Negation as Failure
- A new translation from deduction into integer programming
- Reasoning about time
- Learning qualitative physics reasoning from regime analysis
- Qualitative mathematical modelling of genetic algorithms.