Artificial Intelligence and Symbolic Computation

Artificial Intelligence and Symbolic Computation

International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers 

John A. Campbell & Eugenio Roanes-Lozano (editors)

Table of Contents
Invited Papers
Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori - George Boole, a Forerunner of Symbolic Computation 1
Marc Knoppe - Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management 20
Michael Kohlhase - OMDoc: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge 32
Contributed Papers and Poster Summaries
Olga Caprotti, Martijn Oostdijk - On Communicating Proofs in Interactive Mathematical Documents 53
Jacques Calmet, Peter Kullmann, Morio Taneda - Composite Distributive Lattices as Annotation Domains for Mediators 65
Guilherme Bittencourt, Isabel Tonin - A Proof Strategy Based on a Dual Representation 78
José-Luis Ruiz-Reina, Jos´e-Antonio Alonso, Mar´ia-JoséHidalgo, Francisco-JesúsMartinMateos - Formalizing Rewriting in the ACL2 Theorem Prover 92
Angel Fernandez Pineda, Enric Trillas, Claudio Vaucheret - Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices 107
Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt - Reasoning about the Elementary Functions of Complex Analysis 115
Martine Ceberio, Laurent Granvilliers - Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic 127
Carlos Castro, Eric Monfroy - Basic Operators for Solving Constraints via Collaboration of Solvers 142
Eugenio Roanes-Macias, Eugenio Roanes-Lozano - Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem 157
Robert M. Corless, MarkW. Giesbrecht, Ilias S. Kotsireas, Stephen M. Watt - Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra 174
Jochen Pfalzgraf - A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects 184
Andres Iglesias, Akemi Gálvez - A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design 200
Andres Iglesias - How Symbolic Computation Can Benefit Computer-Aided Geometric Design 214
Zahir Maazouzi, Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin - CDR: A Rewriting Based Tool to Design FPLA Circuits 219
Julio Rubio - Locally Effective Objects and Artificial Intelligence 223
Marco A. Arranz - Negotiation Algorithms for Multi-agent Interactions 227
Thierry Boy de la Tour - Some Techniques of Isomorph-Free Search 240
Author Index 253

Springer, Lecture Notes in Computer Science #1930, Paperback, english, 268 pages