Artificial Intelligence and Symbolic Computation [[electronic resource] ] : 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings / / edited by Bruno Buchberger, John A. Campbell |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (X, 294 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer science—Mathematics Numerical analysis Mathematical logic Artificial Intelligence Symbolic and Algebraic Manipulation Numeric Computing Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages |
ISBN | 3-540-30210-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Presentations -- The Algorithmization of Physics: Math Between Science and Engineering -- Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search -- Proof Search in Minimal Logic -- Planning and Patching Proof -- Papers -- A Paraconsistent Higher Order Logic -- Abstraction Within Partial Deduction for Linear Logic -- A Decision Procedure for Equality Logic with Uninterpreted Functions -- Generic Hermitian Quantifier Elimination -- Extending Finite Model Searching with Congruence Closure Computation -- On the Combination of Congruence Closure and Completion -- Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques -- Proving and Constraint Solving in Computational Origami -- An Evolutionary Local Search Method for Incremental Satisfiability -- Solving Equations Involving Sequence Variables and Sequence Functions -- Verified Computer Algebra in Acl2 -- Polynomial Interpretations with Negative Coefficients -- New Developments in Symmetry Breaking in Search Using Computational Group Theory -- Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks -- Four Approaches to Automated Reasoning with Differential Algebraic Structures -- Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy -- An Expert System on Detection, Evaluation and Treatment of Hypertension -- Short Presentations -- Two Revision Methods Based on Constraints: Application to a Flooding Problem -- Abstraction-Driven Verification of Array Programs -- Singularities in Qualitative Reasoning -- From a Computer Algebra Library to a System with an Equational Prover. |
Record Nr. | UNISA-996465562703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Artificial Intelligence and Symbolic Computation : 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings / / edited by Bruno Buchberger, John A. Campbell |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (X, 294 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer science—Mathematics Numerical analysis Mathematical logic Artificial Intelligence Symbolic and Algebraic Manipulation Numeric Computing Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages |
ISBN | 3-540-30210-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Presentations -- The Algorithmization of Physics: Math Between Science and Engineering -- Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search -- Proof Search in Minimal Logic -- Planning and Patching Proof -- Papers -- A Paraconsistent Higher Order Logic -- Abstraction Within Partial Deduction for Linear Logic -- A Decision Procedure for Equality Logic with Uninterpreted Functions -- Generic Hermitian Quantifier Elimination -- Extending Finite Model Searching with Congruence Closure Computation -- On the Combination of Congruence Closure and Completion -- Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques -- Proving and Constraint Solving in Computational Origami -- An Evolutionary Local Search Method for Incremental Satisfiability -- Solving Equations Involving Sequence Variables and Sequence Functions -- Verified Computer Algebra in Acl2 -- Polynomial Interpretations with Negative Coefficients -- New Developments in Symmetry Breaking in Search Using Computational Group Theory -- Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks -- Four Approaches to Automated Reasoning with Differential Algebraic Structures -- Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy -- An Expert System on Detection, Evaluation and Treatment of Hypertension -- Short Presentations -- Two Revision Methods Based on Constraints: Application to a Flooding Problem -- Abstraction-Driven Verification of Array Programs -- Singularities in Qualitative Reasoning -- From a Computer Algebra Library to a System with an Equational Prover. |
Record Nr. | UNINA-9910144150903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Artificial Intelligence and Symbolic Computation [[electronic resource] ] : International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers / / edited by John A. Campbell, Eugenio Roanes-Lozano |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (X, 258 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer science—Mathematics Mathematical logic Algorithms Artificial Intelligence Symbolic and Algebraic Manipulation Mathematical Logic and Formal Languages |
ISBN | 3-540-44990-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- George Boole, a Forerunner of Symbolic Computation -- Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management -- OMDoc: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge -- Contributed Papers and Poster Summaries -- On Communicating Proofs in Interactive Mathematical Documents -- Composite Distributive Lattices as Annotation Domains for Mediators -- A Proof Strategy Based on a Dual Representation -- Formalizing Rewriting in the ACL2 Theorem Prover -- Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices -- Reasoning about the Elementary Functions of Complex Analysis -- Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic -- Basic Operators for Solving Constraints via Collaboration of Solvers -- Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem -- Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra -- A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects -- A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design -- How Symbolic Computation Can Benefit Computer-Aided Geometric Design -- CDR: A Rewriting Based Tool to Design FPLA Circuits -- Locally Effective Objects and Artificial Intelligence -- Negotiation Algorithms for Multi-agent Interactions -- Some Techniques of Isomorph-Free Search. |
Record Nr. | UNISA-996466173403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Artificial Intelligence and Symbolic Computation : International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers / / edited by John A. Campbell, Eugenio Roanes-Lozano |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (X, 258 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer science—Mathematics Mathematical logic Algorithms Artificial Intelligence Symbolic and Algebraic Manipulation Mathematical Logic and Formal Languages |
ISBN | 3-540-44990-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- George Boole, a Forerunner of Symbolic Computation -- Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management -- OMDoc: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge -- Contributed Papers and Poster Summaries -- On Communicating Proofs in Interactive Mathematical Documents -- Composite Distributive Lattices as Annotation Domains for Mediators -- A Proof Strategy Based on a Dual Representation -- Formalizing Rewriting in the ACL2 Theorem Prover -- Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices -- Reasoning about the Elementary Functions of Complex Analysis -- Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic -- Basic Operators for Solving Constraints via Collaboration of Solvers -- Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem -- Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra -- A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects -- A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design -- How Symbolic Computation Can Benefit Computer-Aided Geometric Design -- CDR: A Rewriting Based Tool to Design FPLA Circuits -- Locally Effective Objects and Artificial Intelligence -- Negotiation Algorithms for Multi-agent Interactions -- Some Techniques of Isomorph-Free Search. |
Record Nr. | UNINA-9910143608503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Artificial Intelligence and Symbolic Mathematical Computation [[electronic resource] ] : International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings / / edited by Jaques Calmet, John A. Campbell, Jochen Pfalzgraf |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (VIII, 384 p.) |
Disciplina | 006.3/01/5113 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Artificial intelligence
Computers Computer science—Mathematics Algorithms Mathematical logic Computational complexity Artificial Intelligence Theory of Computation Symbolic and Algebraic Manipulation Mathematical Logic and Formal Languages Complexity |
ISBN | 3-540-70740-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Symbolic computation and teaching -- Analytica — An experiment in combining theorem proving and symbolic computation -- Document recognition, semantics, and symbolic reasoning in reverse engineering of software -- Compromised updates in labelled databases -- An inference engine for propositional two-valued logic based on the radical membership problem -- Programming by demonstration: A machine learning approach to support skill acquision for robots -- Knowledge-based information processing in manufacturing cells — The present and the future -- Calculi for qualitative spatial reasoning -- Combining local consistency, symbolic rewriting and interval methods -- Proof transformation for non-compatible rewriting -- PATCH Graphs: An efficient data structure for completion of finitely presented groups -- Measuring the likely effectiveness of strategies -- A new approach on solving 3-satisfiability -- Geometry machines: From AI to SMC -- Interactive Theorem Proving and finite projective planes -- Towards modelling the topology of homogeneous manifolds by means of symbolic computation -- Solving geometrical constraint systems using CLP based on linear constraint solver -- Towards a sheaf semantics for cooperating agents scenarios -- Data types in subdefinite models -- On theorem-proving in Horn theories with built-in algebras -- Backward reasoning in systems with cut -- Soundness and completeness versus lifting property -- Reasoning with preorders and dynamic sorts using free variable tableaux. |
Record Nr. | UNISA-996465858403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Artificial Intelligence and Symbolic Mathematical Computing [[electronic resource] ] : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings / / edited by Jacques Calmet, John A. Campbell |
Edizione | [1st ed. 1993.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
Descrizione fisica | 1 online resource (IX, 315 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Artificial intelligence
Computers Computer science—Mathematics Combinatorics Numerical analysis Artificial Intelligence Theory of Computation Symbolic and Algebraic Manipulation Numerical Analysis |
ISBN | 3-540-48063-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Artificial intelligence and symbolic mathematical computations -- Qualitative modeling of physical systems in AI research -- On the topological structure of configuration spaces -- A symbolic approach to interval constraint problems -- An algebraic approach to knowledge-based modeling -- Intelligent user interfaces for symbolic and numeric computation -- The progress towards an intelligent assistant — A discussion paper -- On mathematical modeling in robotics -- Gröbner bases: Strategies and applications -- Heuristic search strategies for Cylindrical Algebraic Decomposition -- Unified domains and abstract computational structures -- Completion and invariant theory in symbolic computation and artificial intelligence -- A type-coercion problem in computer algebra -- Algorithmic development of power series -- A cooperative approach to query processing: Integrating historical, structural, and behavioral knowledge sources -- A desk-top sequent calculus machine -- Gentzen-style characterizations of Negation as Failure -- A new translation from deduction into integer programming -- Reasoning about time -- Learning qualitative physics reasoning from regime analysis -- Qualitative mathematical modelling of genetic algorithms. |
Record Nr. | UNISA-996466135903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Integrating Symbolic Mathematical Computation and Artificial Intelligence [[electronic resource] ] : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers / / edited by Jacques Calmet, John A. Campbell |
Edizione | [1st ed. 1995.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
Descrizione fisica | 1 online resource (XI, 281 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Artificial intelligence Computer science—Mathematics Numerical analysis Combinatorics Theory of Computation Artificial Intelligence Symbolic and Algebraic Manipulation Numerical Analysis |
ISBN | 3-540-49533-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Interactive theorem proving and computer algebra -- A practical algorithm for geometric theorem proving -- Combining theorem proving and symbolic mathematical computing -- Tools for solving problems in the scope of algebraic programming -- Planning a proof of the intermediate value theorem -- A general technique for automatically optimizing programs through the use of proof plans -- Datalog and TwoGroups and C++ -- Linear logic and real closed fields: A way to handle situations dynamically -- A proof environment for arithmetic with the omega rule -- Using commutativity properties for controlling coercions -- Theories = signatures + propositions used as types -- The ideal structure of Gröbner base computations -- Modeling cooperating agents scenarios by deductive planning methods and logical fiberings -- Propagation of mathematical constraints in subdefinite models -- Combining computer algebra and rule based reasoning -- Algebraic specification of empirical inductive learning methods based on rough sets and matroid theory -- Subsymbolic processing using adaptive algorithms -- An interpretation of the propositional Boolean algebra as a k-algebra. Effective calculus -- Subdefinite computations and symbolic transformations in the uniCalc solver. |
Record Nr. | UNISA-996466040103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|