Artificial intelligence and symbolic computation : International Conference AISC 98, Plattsburg, New York, USA, September 16 18, 1998 : proceedings
This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998. The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address var...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science. Lecture notes in artificial intelligence
1476 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Artificial intelligence and symbolic computation, International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, proceedings, Jacques Calmet, Jan Plaza (eds.), 1998, New York, Springer, 1 vol. (XI-307 p.), Lecture notes in computer science, 3-540-64960-3 • Artificial Intelligence and Symbolic Computation, Texte imprimé, 9783662164518 |
| LEADER | 04840nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 945702 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155237667 | ||
| 020 | |a 9783540498162 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 006.3 | ||
| 111 | 2 | |a International Conference on Artificial Intelligence and symbolic computation |d (1998 |c :Plattsburgh, N. Y.). | |
| 245 | 1 | 0 | |a Artificial intelligence and symbolic computation : |b International Conference AISC 98, Plattsburg, New York, USA, September 16 18, 1998 : proceedings |c [edited by] Jacques Calmet, Jan Plaza. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 1476 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998. The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery. | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Calmet, Jacques, |d 1941-2019, |c mathématicien. |4 pbd | |
| 700 | 1 | |a Plaza, Jan. |4 pbd | |
| 776 | 0 | |0 035998865 |t Artificial intelligence and symbolic computation |o International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998 |o proceedings |f Jacques Calmet, Jan Plaza (eds.) |d 1998 |c New York |n Springer |p 1 vol. (XI-307 p.) |s Lecture notes in computer science |z 3-540-64960-3 | |
| 776 | 0 | |t Artificial Intelligence and Symbolic Computation |b Texte imprimé |z 9783662164518 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0055897 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-SNDNQLGB-8 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747890765 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0055897 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750903902 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0055897 |z Accès INSA CVL | |
| 997 | |0 945702 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||