Methodologies for intelligent systems : 6th International Symposium, ISMIS '91, Charlotte, N. C., USA, October 16 19, 1991 : proceedings
This volume contains the papers selected for presentation at the Sixth International Symposium on Methodol- ogies for Intelligent Systems held in Charlotte, North Carolina, in October 1991. The symposium was hosted by UNC-Charlotte and sponsored by IBM-Charlotte, ORNL/CESAR and UNC-Charlotte. The pa...
Gardado en:
| Autor Principal: | |
|---|---|
| Autor Corporativo: | |
| Outros autores: | |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science. Lecture notes in artificial intelligence
542 |
| Sujets: | |
| Acceso en liña: | 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: | • Methodologies for intelligent systems, 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, proceedings, Z.W. Ras, M. Zemankova, eds, Berlin, Springer-Verlag, 1991, 1 vol. (X-644 p.), Lecture notes in computer science, 3-540-54563-8 • Methodologies for Intelligent Systems, Texte imprimé, 9783662186725 |
| LEADER | 07232nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 972523 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155225561 | ||
| 020 | |a 9783540384663 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 006.33 | ||
| 100 | 1 | |a Ras, Zbigniew W., |d 1947- | |
| 245 | 1 | 0 | |a Methodologies for intelligent systems : |b 6th International Symposium, ISMIS '91, Charlotte, N. C., USA, October 16 19, 1991 : proceedings |c [edited by] Z. W. Ras, M. Zemankova. |
| 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 542 |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 architecture for pragmatic voice interactive systems -- A logic of relative desire -- Methodologies for data/knowledge/information engineering: Will the twain meet? -- Personal learning apprentices -- The roles of artificial intelligence in information systems -- Integrating variables and operations into rule-based forward chaining systems -- The multi-player version of minimax displays game-tree pathology -- Generalization handling in a dynamic case memory -- Knowledge based semantic query optimization -- Combining knowledge bases consisting of first order theories -- User profiles for information retrieval -- An approach to deriving object hierarchies from database schema and contents -- Multilevel interface to a distributed database system -- Efficient evaluation of linear recursions with function symbols in deductive databases -- Synthesizing efficient agents from partial programs -- Knowledge extraction from databases: Design principles of the INLEN system -- Stable model semantics for probabilistic deductive databases -- Towards implementing valuation based systems with relational databases -- On the representation of continuous causal relationships -- Process transition networks: A formal graphical knowledge representation tool -- Using normal deduction graphs in default reasoning -- A model of information sharing for fault-tolerant flexible manufacturing systems -- On interval-based temporal planning: An IQ strategy -- Percept conceptualizations and their knowledge representation schemes -- Combining time points and time intervals in a hybrid knowledge representation formalism -- An analysis of property-flow view vs individual-flow view of inheritance -- Semantic extensions to text retrieval -- Updates with equality: Beyond the Herbrand universe assumption -- Using genetic algorithms toimprove the performance of classification rules produced by symbolic inductive methods -- Learning quantitative features in a symbolic environment -- Automatic acquisition of proper noun meanings -- Investigating the relationships between abduction and inverse resolution in propositional calculus -- Explanation-based learning helps acquire knowledge from natural language texts -- Hybrid pattern recognition system capable of self-modification -- Towards an adaptive information retrieval system -- Improving the comprehensibility, accuracy, and generality of reactive plans -- On the unknown attribute values in learning from examples -- A new system for inductive learning in attribute-based spaces -- Generation of classification rules -- Distance metrics for instance-based learning -- A study of crossover operators in genetic programming -- Input understanding as a basis for multistrategy task-adaptive learning -- Automated discovery of empirical equations from data -- Constructing models of hidden structure -- Amalgamated logic programming and non-monotonic reasoning -- WF 3: A semantics for negation in normal disjunctive logic programs -- Representation of mathematical knowledge -- Graded logics: A framework for uncertain and defeasible knowledge -- The strong semantics for logic programs -- Static Parallel Arc Consistency in constraint satisfaction -- Towards a theory of inductive logic programming -- Another view of autoepistemic logic and truth maintenance system -- Dynamic autoepistemic logic -- Nonmonotonic temporal reasoning: Persistence, justified causation and event minimization -- Novelty revisited -- Typicality constants and range defaults: Some pros and cons of a cognitive model of default reasoning -- Resolution and path dissolution in multiple-valued logics -- How well are non-horn clauses handled? -- Fully deadline-coupled planning: One step at a time -- Completeness for propositional logic programs with negation -- Disjunctive logic programs and constraint processing -- Note on resolution circuits -- A semantic analysis of monotonic inheritance with roles and relations. | |
| 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 volume contains the papers selected for presentation at the Sixth International Symposium on Methodol- ogies for Intelligent Systems held in Charlotte, North Carolina, in October 1991. The symposium was hosted by UNC-Charlotte and sponsored by IBM-Charlotte, ORNL/CESAR and UNC-Charlotte. The papers discuss topics in the following major areas: - Approximate reasoning, - Expert systems, - Intelligent databases, - Knowledge representation, - Learning and adaptive systems, - Logic for artificial intelligence. The goal of the symposium was to provide a platform for a useful exchange and cross-fertilization of ideas between theoreticians and practitioners in these areas. | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Systèmes experts (informatique) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Zemankova, Maria. |4 pbd | |
| 711 | 2 | |a International symposium on methodologies for intelligent systems |n (06 |d :1991 |c :Charlotte, Caroline du Nord, Etats-Unis). |4 aut | |
| 776 | 0 | |0 022253157 |t Methodologies for intelligent systems |o 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991 |o proceedings |f Z.W. Ras, M. Zemankova, eds |c Berlin |n Springer-Verlag |d 1991 |p 1 vol. (X-644 p.) |s Lecture notes in computer science |z 3-540-54563-8 | |
| 776 | 0 | |t Methodologies for Intelligent Systems |b Texte imprimé |z 9783662186725 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-54563-8 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-WVKQBX7L-1 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750635681 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-54563-8 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75399187X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-54563-8 |z Accès INSA CVL | |
| 997 | |0 972523 |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/ | ||