Artificial Intelligence and Symbolic Computation [[electronic resource] ] : 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings / / edited by Jacques Fleuriot, Dongming Wang, Jacques Calmet |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (X, 269 p. 59 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer science—Mathematics Mathematical logic Application software Artificial Intelligence Math Applications in Computer Science Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) |
ISBN | 3-319-99957-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Artificial Intelligence, Theorem Proving and SAT Solving -- Symbolic and Numerical Computation -- Intelligent Documents and Collective Intelligence. |
Record Nr. | UNISA-996466354003316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Artificial Intelligence and Symbolic Computation : 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings / / edited by Jacques Fleuriot, Dongming Wang, Jacques Calmet |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (X, 269 p. 59 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer science—Mathematics Mathematical logic Application software Artificial Intelligence Math Applications in Computer Science Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) |
ISBN | 3-319-99957-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Artificial Intelligence, Theorem Proving and SAT Solving -- Symbolic and Numerical Computation -- Intelligent Documents and Collective Intelligence. |
Record Nr. | UNINA-9910349413403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Artificial Intelligence and Symbolic Computation [[electronic resource] ] : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings / / edited by Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Martín-Mateos |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 206 p. 51 illus.) |
Disciplina | 005.131 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Computer science—Mathematics
Artificial intelligence Information storage and retrieval Mathematical logic Application software Symbolic and Algebraic Manipulation Artificial Intelligence Math Applications in Computer Science Information Storage and Retrieval Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) |
ISBN | 3-319-13770-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Basic concepts of computability and new Turing machines -- Logics including non-classical ones -- Reasoning -- Learning -- Decision support systems.-Machine intelligence and epistemology and philosophy of symbolic mathematical computing. |
Record Nr. | UNISA-996211265103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Artificial Intelligence and Symbolic Computation : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings / / edited by Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Martín-Mateos |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 206 p. 51 illus.) |
Disciplina | 005.131 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Computer science—Mathematics
Artificial intelligence Information storage and retrieval Mathematical logic Application software Symbolic and Algebraic Manipulation Artificial Intelligence Math Applications in Computer Science Information Storage and Retrieval Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) |
ISBN | 3-319-13770-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Basic concepts of computability and new Turing machines -- Logics including non-classical ones -- Reasoning -- Learning -- Decision support systems.-Machine intelligence and epistemology and philosophy of symbolic mathematical computing. |
Record Nr. | UNINA-9910483954503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings / / Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.) |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2006 |
Descrizione fisica | 1 online resource (XIII, 269 p.) |
Disciplina | 006.3 |
Altri autori (Persone) |
CalmetJacques
IdaTetsuo WangDongming <1961-> |
Collana |
Lecture notes in computer science. Lecture notes in artificial intelligence
LNCS sublibrary. SL 7, Artificial intelligence |
Soggetto topico |
Artificial intelligence
Logic, Symbolic and mathematical |
ISBN | 3-540-39730-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Presentations -- Interactive Mathematical Documents -- Algebra and Geometry -- An Inductive Inference System and Its Rationality -- Semantic Guidance for Saturation Provers -- Contributed Papers -- Labeled @-Calculus: Formalism for Time-Concerned Human Factors -- Enhanced Theorem Reuse by Partial Theory Inclusions -- Extension of First-Order Theories into Trees -- The Confluence Problem for Flat TRSs -- Some Properties of Triangular Sets and Improvement Upon Algorithm CharSer -- A New Definition for Passivity and Its Relation to Coherence -- A Full System of Invariants for Third-Order Linear Partial Differential Operators -- An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial -- Quantifier Elimination for Quartics -- On the Mixed Cayley-Sylvester Resultant Matrix -- Implicitization of Rational Curves -- Operator Calculus Approach to Solving Analytic Systems -- Solving Dynamic Geometric Constraints Involving Inequalities -- Constraints for Continuous Reachability in the Verification of Hybrid Systems -- Using Hajós’ Construction to Generate Hard Graph 3-Colorability Instances -- Finding Relations Among Linear Constraints -- A Search Engine for Mathematical Formulae -- Hierarchical Representations with Signatures for Large Expression Management. |
Altri titoli varianti | AISC 2006 |
Record Nr. | UNINA-9910768449103321 |
Berlin ; ; New York, : Springer, 2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Artificial Intelligence and Symbolic Computation [[electronic resource] ] : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings / / edited by Jacques Calmet, Jan Plaza |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
Descrizione fisica | 1 online resource (XII, 316 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computers Computer science—Mathematics Mathematical logic Algorithms Artificial Intelligence Theory of Computation Symbolic and Algebraic Manipulation Mathematical Logic and Formal Languages |
ISBN | 3-540-49816-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | An inductive logic programming query language for database mining -- Bertrand Russell, Herbrand’s theorem, and the assignment statement -- Representing and reasoning with context -- From integrated reasoning specialists to “plug-and-play? reasoning components -- Reasoning about coding theory: The benefits we get from computer algebra -- Automatic generation of epsilon-delta proofs of continuity -- Finite model search for equational theories (FMSET) -- Specification and integration of theorem provers and computer algebra systems -- COLETTE, prototyping CSP solvers using a rule-based language -- An evolutionary algorithm for welding task sequence ordering -- Intuitionistic proof transformations and their application to constructive program synthesis -- Combining algebraic computing and term-rewriting for geometry theorem proving -- Cooperation between top-down and bottom-up theorem provers by subgoal clause transfer -- Polymorphic call-by-value calculus based on classical proofs -- Inference and verification in Medical Appropriateness Criteria using Gröbner Bases -- The unification problem for one relation Thue Systems -- Basic Completion with E-cycle Simplification -- SoleX: A domain-independent scheme for constraint solver extension -- Optimising propositional modal satisfiability for description logic subsumption -- Instantiation of existentially quantified variables in inductive specification proofs -- Knowledge discovery objects and queries in Distributed Knowledge Systems -- ALLTYPES: An algebraic language and TYPE system -- Real parametrization of algebraic curves -- Non-clausal reasoning with propositional definite theories. |
Record Nr. | UNISA-996466124103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Artificial Intelligence and Symbolic Computation [[electronic resource] ] : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings / / edited by Jacques Calmet, Jan Plaza |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
Descrizione fisica | 1 online resource (XII, 316 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computers Computer science—Mathematics Mathematical logic Algorithms Artificial Intelligence Theory of Computation Symbolic and Algebraic Manipulation Mathematical Logic and Formal Languages |
ISBN | 3-540-49816-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | An inductive logic programming query language for database mining -- Bertrand Russell, Herbrand’s theorem, and the assignment statement -- Representing and reasoning with context -- From integrated reasoning specialists to “plug-and-play? reasoning components -- Reasoning about coding theory: The benefits we get from computer algebra -- Automatic generation of epsilon-delta proofs of continuity -- Finite model search for equational theories (FMSET) -- Specification and integration of theorem provers and computer algebra systems -- COLETTE, prototyping CSP solvers using a rule-based language -- An evolutionary algorithm for welding task sequence ordering -- Intuitionistic proof transformations and their application to constructive program synthesis -- Combining algebraic computing and term-rewriting for geometry theorem proving -- Cooperation between top-down and bottom-up theorem provers by subgoal clause transfer -- Polymorphic call-by-value calculus based on classical proofs -- Inference and verification in Medical Appropriateness Criteria using Gröbner Bases -- The unification problem for one relation Thue Systems -- Basic Completion with E-cycle Simplification -- SoleX: A domain-independent scheme for constraint solver extension -- Optimising propositional modal satisfiability for description logic subsumption -- Instantiation of existentially quantified variables in inductive specification proofs -- Knowledge discovery objects and queries in Distributed Knowledge Systems -- ALLTYPES: An algebraic language and TYPE system -- Real parametrization of algebraic curves -- Non-clausal reasoning with propositional definite theories. |
Record Nr. | UNINA-9910768179103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Artificial Intelligence, Automated Reasoning, and Symbolic Computation [[electronic resource] ] : Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings / / edited by Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XIV, 350 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-45470-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Constraint Acquisition -- Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees -- Deduction versus Computation: The Case of Induction -- Integration of Quantifier Elimination with Constraint Logic Programming -- AISC Regular Talks -- Towards a Hybrid Symbolic/Numeric Computational Approach in Controller Design -- Inductive Synthesis of Functional Programs -- A Symbolic Computation-Based Expert System for Alzheimer’s Disease Diagnosis -- On a Generalised Logicality Theorem -- Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic -- The Wright ? Function -- Multicontext Logic for Semigroups of Contexts -- Indefinite Integration as a Testbed for Developments in Multi-agent Systems -- Expression Inference — Genetic Symbolic Classification Integrated with Non-linear Coefficient Optimisation -- A Novel Face Recognition Method -- Non-commutative Logic for Hand-Written Character Modeling -- From Numerical to Symbolic Data during the Recognition of Scenarii -- On Mathematical Modeling of Networks and Implementation Aspects -- Continuous First-Order Constraint Satisfaction -- Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval Constraints -- A Genetic-Based Approach for Satisfiability Problems -- On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope -- Calculemus Regular Talks -- Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements -- The Meaning of Infinity in Calculus and Computer Algebra Systems -- Making Conjectures about Maple Functions -- Employing Theory Formation to Guide Proof Planning -- Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms -- Combining Generic and Domain Specific Reasoning by Using Contexts -- Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus -- Yacas: A Do-It-Yourself Symbolic Algebra Environment -- Focus Windows: A New Technique for Proof Presentation. |
Record Nr. | UNISA-996465380803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings / / edited by Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XIV, 350 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-45470-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Constraint Acquisition -- Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees -- Deduction versus Computation: The Case of Induction -- Integration of Quantifier Elimination with Constraint Logic Programming -- AISC Regular Talks -- Towards a Hybrid Symbolic/Numeric Computational Approach in Controller Design -- Inductive Synthesis of Functional Programs -- A Symbolic Computation-Based Expert System for Alzheimer’s Disease Diagnosis -- On a Generalised Logicality Theorem -- Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic -- The Wright ? Function -- Multicontext Logic for Semigroups of Contexts -- Indefinite Integration as a Testbed for Developments in Multi-agent Systems -- Expression Inference — Genetic Symbolic Classification Integrated with Non-linear Coefficient Optimisation -- A Novel Face Recognition Method -- Non-commutative Logic for Hand-Written Character Modeling -- From Numerical to Symbolic Data during the Recognition of Scenarii -- On Mathematical Modeling of Networks and Implementation Aspects -- Continuous First-Order Constraint Satisfaction -- Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval Constraints -- A Genetic-Based Approach for Satisfiability Problems -- On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope -- Calculemus Regular Talks -- Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements -- The Meaning of Infinity in Calculus and Computer Algebra Systems -- Making Conjectures about Maple Functions -- Employing Theory Formation to Guide Proof Planning -- Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms -- Combining Generic and Domain Specific Reasoning by Using Contexts -- Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus -- Yacas: A Do-It-Yourself Symbolic Algebra Environment -- Focus Windows: A New Technique for Proof Presentation. |
Record Nr. | UNINA-9910143899403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|