Artificial Intelligence and Symbolic Computation International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. (LNAI 1930) Date: 30 April 2011, 07:37
|
Conference webpage [url=http://www.ucm.es/info/aisc2000/]here[/url]/ 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 * Jose-Luis Ruiz-Reina, Jose-Antonio Alonso, Maria-Jose Hidalgo, Francisco-Jesus Martin-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-Macias, 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 * Andres Iglesias, Akemi Galvez: A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design. 200-213 * Andres 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:
This site does not store Artificial Intelligence and Symbolic Computation International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. (LNAI 1930) on its server. We only index and link to Artificial Intelligence and Symbolic Computation International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. (LNAI 1930) provided by other sites. Please contact the content providers to delete Artificial Intelligence and Symbolic Computation International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. (LNAI 1930) if any and email us, we'll remove relevant links or contents immediately.
|
|
|