Methodologies for intelligent systems : 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16 19, 1994 : proceedings
This volume contains the revised versions of the papers presented at the Eighth International Symposium on Methodologies for Intelligent Systems (ISMIS '94), held in Charlotte, North Carolina, USA in October 1994. Besides four invited contributions by renowned researchers on key topics, there a...
Na minha lista:
| Autor principal: | |
|---|---|
| Autor Corporativo: | |
| Outros Autores: | |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colecção: | Lecture notes in computer science. Lecture notes in artificial intelligence
869 |
| Assuntos: | |
| Acesso em linha: | 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, 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994, proceedings, Zbigniew W. Raś, Maria Zemankova, (eds.), Berlin, Springer-Verlag, 1994, 1 vol. (X-613 p.), Lecture notes in computer science, 0-387-58495-1 • Methodologies for Intelligent Systems, Texte imprimé, 9783662204436 |
| LEADER | 07272nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 969546 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN15517536X | ||
| 020 | |a 9783540490104 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Ras, Zbigniew W., |d 1947- | |
| 245 | 1 | 0 | |a Methodologies for intelligent systems : |b 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16 19, 1994 : proceedings |c [edited by] Zbigniew W. Raś, Maria 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 869 |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 Distributed Earth science validation centers for Mission to Planet Earth -- Causal understanding in reasoning about the world -- How to make intelligent digital libraries -- Some methodology and representation problems for the semantics of prosaic application domains -- Recognizing credible experts in inaccurate databases -- Fuzzy logic or lukasiewicz logic: A clarification -- Logic systems for approximate reasoning: via rough sets and topology -- Signed formulas and fuzzy operator logics -- Rough mereology -- A new rule for updating evidence -- A global measure of ambiguity for classification -- Meta-level control of approximate reasoning: A decision theoretic approach -- Formal models of selection in genetic algorithms -- Genetic algorithms for the 0/1 knapsack problem -- On the weakening of fuzzy relational queries -- Transforming queries from a relational schema to an object schema: A prototype based on F-logic -- Knowledge discovery in databases: A rule-based attribute-oriented approach -- Case-based reasoning applied to a force generation decision aid -- A case-based reasoning approach for associative query answering -- Efficient execution of recursive queries through controlled binding propagation -- Towards a dynamic multi-agent organization -- parcPlan: a planning architecture with parallel actions, resources and constraints -- GAITS II: An intelligent system for computer-aided education -- The GLS discovery system: Its goal, architecture and current results -- Declarative semantics for contradictory modular logic programs -- LaTeR: a general purpose manager of temporal information -- Understanding a story with causal relationships -- Dealing with qualitative and quantitative temporal information concerning periodic events -- Distributed multi-agent probabilistic reasoning withBayesian networks -- Building bridges between knowledge representation and algebraic specification -- Turning an action formalism into a planner Essentials of a case study -- Towards refinement of definite logic programs -- Amphion: Automatic programming for scientific subroutine libraries -- RUTH: an ILP theory revision system -- Dynamic reducts as a tool for extracting laws from decisions tables -- Learning first order theories -- Evaluation and enhancement of Bayesian rule-sets in a genetic algorithm learning environment for classification tasks -- Traps and pitfalls when learning logical definitions from relations -- DBROUGH: A rough set based knowledge discovery system -- Restructuring rule bases to improve performance -- Learning heuristics for ordering plan goals through static operator analysis -- Learning problem-oriented decision structures from decision rules: The AQDT-2 system -- Towards full automation of the discovery of heuristics in a nuclear engineering project: Integration with a neural information language -- Concept hierarchies: a restricted form of knowledge derived from regularities -- A data-driven approach to feature construction -- Reasoning about action and time with epistemic conditionals -- The semantics of propositional contexts -- The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications -- Reasoning about the safety of information: from logical formalization to operational definition -- Classical methods in nonmonotonic reasoning -- Partial evaluation and relevance for approximations of the stable semantics -- Circumscribing features and fluents: A fluent logic for reasoning about action and change -- Paraconsistency and beyond: A new approach to inconsistency handling -- BDDs and automated deduction -- A possibility-basedpropositional logic of conditionals -- Incremental processing of logic database relations -- On the relationship between assumption-based framework and autoepistemic logic -- Computing queries from prioritized default theories -- Beliefs and bilattices -- Fast termination of the deductive process in resolution proof systems for non-classical logics. | |
| 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 revised versions of the papers presented at the Eighth International Symposium on Methodologies for Intelligent Systems (ISMIS '94), held in Charlotte, North Carolina, USA in October 1994. Besides four invited contributions by renowned researchers on key topics, there are 56 full papers carefully selected from more than 120 submissions. The book presents the state of the art for methodologies for intelligent systems; the papers are organized in sections on approximate reasoning, evolutionary computation, intelligent information systems, knowledge representation, methodologies, learning and adaptive systems, and logic for AI. | ||
| 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 (08 |d :1994 |c :Charlotte, Caroline du Nord, Etats-Unis). |4 aut | |
| 776 | 0 | |0 021618240 |t Methodologies for intelligent systems |o 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994 |o proceedings |f Zbigniew W. Raś, Maria Zemankova, (eds.) |c Berlin |n Springer-Verlag |d 1994 |p 1 vol. (X-613 p.) |s Lecture notes in computer science |z 0-387-58495-1 | |
| 776 | 0 | |t Methodologies for Intelligent Systems |b Texte imprimé |z 9783662204436 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-58495-1 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-SW1NJ906-M |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750672900 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-58495-1 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754021572 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-58495-1 |z Accès INSA CVL | |
| 997 | |0 969546 |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/ | ||