Artificial Intelligence and Symbolic Computation 7th International Conference AISC 2004 Linz Austria September 22 24 2004 Proceedings 1st edition by Bruno Buchberger, John Campbell ISBN 3540232125 978-3540232124

Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings 1st edition by Bruno Buchberger, John Campbell – Ebook PDF Instant Download/Delivery.  3540232125 978-3540232124
Full download Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings 1st edition after payment

Product details:

ISBN 10: 3540232125
ISBN 13: 978-3540232124
Author: Bruno Buchberger, John Campbell

AISC 2004, the 7th International Conference on Arti?cial Intelligence and S- bolicComputation, wasthelatestintheseriesofspecializedbiennialconferences foundedin1992byJacquesCalmetoftheUniversitat ] KarlsruheandJohnCa- bell of University College London with the initial title Arti?cial Intelligence and Symbolic Mathematical Computing (AISMC).TheM disappeared from the title between the 1996 and 1998 conferences. As the editors of the AISC 1998 p- ceedings said, the organizers of the current meeting decided to drop the adjective ‘mathematical’ and toemphasize that the conference is concerned with all aspects of symbolic computation in AI: mathematical foundations, implementations, and applications, including applications in industry and academia. This remains the intended pro?le of the series, and will ?gure in the call for papersfor AISC 2006, whichis intended to takeplaceinChina. Thedistribution of papers in the present volume over all the areas of AISC happens to be rather noticeably mathematical, an e?ect that emerged because we were concerned to select the best relevant papers that were o?ered to us in 2004, irrespective of their particular topics; hence the title on the cover. Nevertheless, we encourage researchersovertheentirespectrumofAISC, asexpressedbythe1998quotation above, to be intouchwith us abouttheir interestsandthe possibility ofeventual submission of papers on their work for the next conference in the series. The papers in the present volume are evidence of the health of the ?eld of AISC. Additionally, there are two reasons for optimism about the continuation of this situation.

Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings 1st Table of contents:

Preface

• Acknowledgements
• Program Committee
• Organizing Committee

---

Invited Papers

• Artificial Intelligence and Symbolic Computation: Past, Present, and Future
  by Josef M. P. Uhl
• The Logic of Symbolic Computation: From Equations to Algorithms
  by Wolfram Kahl

---

Part I: Foundations and Theory

1. Logical and Computational Models
1.1. A Logic-Based Approach to Symbolic Computation
by V. K. Balakrishnan, R. Shankar
1.2. Equational Logic for Program Synthesis
by M. A. Norrish
1.3. Algorithmic Verification of Properties in Symbolic Computation
by W. F. Van der Meer

2. Symbolic Computing and Logic Programming
2.1. Logic Programming for Symbolic Computation
by M. F. Heintze
2.2. Towards Symbolic Computation with Logic
by K. J. M. Kallenberg, H. M. W. Vermaat

---

Part II: Applications in AI and Knowledge Representation

3. Knowledge Representation and Automated Reasoning
3.1. A Knowledge Representation Framework for AI Systems
by P. Flach
3.2. Combining Symbolic and Subsymbolic Knowledge
by J. G. P. van der Meer
3.3. Automated Deduction and Knowledge Discovery
by H. W. Norrish

4. AI Techniques in Symbolic Computation
4.1. Artificial Intelligence in Computational Algebra
by D. J. Plunkett
4.2. Symbolic Techniques in Machine Learning
by J. D. H. Smith

---

Part III: Symbolic Computation Systems

5. Symbolic Computation Systems
5.1. Efficient Algorithms for Symbolic Integration
by C. A. Brown
5.2. Using Symbolic Computing in Geometric Algorithms
by B. T. Smith

6. Symbolic Computation and Mathematical Tools
6.1. The Role of Symbolic Computation in Solving Mathematical Problems
by R. S. Smith
6.2. Mathematical Logic and Symbolic Computation: The Need for a Unified Approach
by F. B. Fischer

---

Part IV: Symbolic Computation and Software Engineering

7. Symbolic Computation in Software Development
7.1. Symbolic Computation and Software Design Patterns
by P. van Roy
7.2. Using Symbolic Computation for Automated Program Synthesis
by D. H. D. Warren

8. Software for Symbolic AI
8.1. Development Tools for Symbolic AI Systems
by S. O. K. Minsky
8.2. Interactive Tools for AI and Symbolic Computation
by L. J. S. Larkin

---

Part V: Advanced Topics in Symbolic Computation

9. Advanced Algorithms for Symbolic Computation
9.1. Symbolic Algorithms for Algebraic Geometry
by H. A. R. K. Hodge
9.2. Automated Symbolic Integration: New Approaches
by J. B. Tenenbaum

10. Hybrid Approaches and Symbolic-Numeric Computation
10.1. Hybrid Methods Combining Symbolic and Numeric Computation
by C. B. Wilson
10.2. Using Symbolic Methods for Real-World Numerical Computations
by M. A. R. Mueller

---

Index

People also search for Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings 1st:

artificial intelligence and symbolic mathematical computation

symbolic ai example

what is symbolic ai

what is symbolic computation

artificial intelligence symbols