Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain,

Description

Conference webpage here/

Proceedings the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, held in Madrid, Spain, July 2000. Softcover.

This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, held in Madrid, Spain in July 2000.

The 17 revised full papers presented together with three invited papers were carefully reviewed and revised for inclusion in the book. Among the topics addressed are automated theorem proving, logical reasoning, mathematical modeling of multi-agent systems, expert systems and machine learning, computational mathematics, engineering, and industrial applications.

Invited Papers

* Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori: George Boole, a Forerunner of Symbolic Computation. 1-19
* Marc Knoppe: Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management. 20-31
* Michael Kohlhase: OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge. 32-52

Contributed Papers and Poster Summaries

* Olga Caprotti, Martijn Oostdijk: On Communicating Proofs in Interactive Mathematical Documents. 53-64
* Jacques Calmet, Peter Kullmann, Morio Taneda: Composite Distributive Lattices as Annotation Domains for Mediators. 65-77
* Guilherme Bittencourt, Isabel Tonin: A Proof Strategy Based on a Dual Representation. 78-91
* José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos: Formalizing Rewriting in the ACL2 Theorem Prover. 92-106
* Angel Fernandez Pineda, Enric Trillas, Claudio Vaucheret: Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices. 107-114
* Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt: Reasoning about the Elementary Functions of Complex Analysis. 115-126
* Martine Ceberio, Laurent Granvilliers: Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic. 127-141
* Carlos Castro, Eric Monfroy: Basic Operators for Solving Constraints via Collaboration of Solvers. 142-156
* Eugenio Roanes-Macías, Eugenio Roanes-Lozano: Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem. 157-173
* Robert M. Corless, Mark Giesbrecht, Ilias S. Kotsireas, Stephen M. Watt: Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra. 174-183
* Jochen Pfalzgraf: A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects. 184-199
* Andrés Iglesias, Akemi Gálvez: A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design. 200-213
* Andrés Iglesias: How Symbolic Computation Can Benefit Computer-Aided Geometric Design. 214-218
* Zahir Maazouzi, Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin: CDR: A Rewriting Based Tool to Design FPLA Circuits. 219-222
* Julio Rubio: Locally Effective Objects and Artificial Intelligence. 223-226
* Marco A. Arranz: Negotiation Algorithms for Multi-agent Interactions. 227-239
* Thierry Boy de la Tour: Some Techniques of Isomorph-Free Search. 240-252

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain," in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 2645
2. Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz,
3. Artificial Intelligence: Methodology, Systems, and Applications: 11th International Conference, ...
4. Artificial Intelligence Research and Development: Proceedings of the 11th International Conference
5. ECAI 2006, 17th European Conference on Artificial Intelligence: Volume 141 Frontiers in Artificial Intelligence and Applications
6. Artificial Intelligence and Soft Computing -- ICAISC 2004: 7th International Conference, Zakopane...
7. AI 2004: Advances in Artificial Intelligence: 17th Australian Joint Conference on Artificial Intelligence
8. Computational and Ambient Intelligence: 9th International Work-Conference on Artificial Neural Networks, IWANN 2007
9. Advances in Case-Based Reasoning: 7th European Conference, ECCBR 2004, Madrid, Spain, August 30
10. Artificial Intelligence: Methodology, Systems, and Applications: 11th International Conference, AIMSA 2004, Varna, Bulgaria
11. [share_ebook] Computational and Ambient Intelligence: 9th International Work-Conference on Artificial Neural Networks, IWANN 2007
12. Artificial Intelligence Applications and Innovations: 3rd IFIP Conference on Artificial Intelligence
13. Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, Octo
14. Artificial Intelligence and Simulation: 13th International Conference on AI, Simulation, and Planning
15. Artificial Intelligence and Simulation: 13th International Conference on AI, Simulation, and Plannin
16. AI 2004: Advances in Artificial Intelligence: 17th Australian Joint Conference on Artificial......