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...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| مؤلف مشترك: | |
| مؤلفون آخرون: | |
| التنسيق: | Livre numérique |
| اللغة: | Anglais |
| منشور في: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| سلاسل: | Lecture notes in computer science. Lecture notes in artificial intelligence
542 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| ملاحظة: |
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 |
جدول المحتويات:
- 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.