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.
Author(s): Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori (auth.), John A. Campbell, Eugenio Roanes-Lozano (eds.)
Series: Lecture Notes in Computer Science 1930 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2001
Language: English
Pages: 258
Tags: Artificial Intelligence (incl. Robotics); Symbolic and Algebraic Manipulation; Mathematical Logic and Formal Languages; Algorithms
George Boole, a Forerunner of Symbolic Computation....Pages 1-19
Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management....Pages 20-31
OMDoc: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge....Pages 32-52
On Communicating Proofs in Interactive Mathematical Documents....Pages 53-64
Composite Distributive Lattices as Annotation Domains for Mediators....Pages 65-77
A Proof Strategy Based on a Dual Representation....Pages 78-91
Formalizing Rewriting in the ACL2 Theorem Prover....Pages 92-106
Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices....Pages 107-114
Reasoning about the Elementary Functions of Complex Analysis....Pages 115-126
Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic....Pages 127-141
Basic Operators for Solving Constraints via Collaboration of Solvers....Pages 142-156
Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem....Pages 157-173
Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra....Pages 174-183
A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects....Pages 184-199
A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design....Pages 200-213
How Symbolic Computation Can Benefit Computer-Aided Geometric Design....Pages 214-218
CDR: A Rewriting Based Tool to Design FPLA Circuits....Pages 219-222
Locally Effective Objects and Artificial Intelligence....Pages 223-226
Negotiation Algorithms for Multi-agent Interactions....Pages 227-239
Some Techniques of Isomorph-Free Search....Pages 240-252
