6. ISMIS 1991: Charlotte, N.C., USA
Zbigniew W. Ras, Maria Zemankova (Eds.):
Methodologies for Intelligent Systems, 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings.
Lecture Notes in Computer Science 542 Springer 1991, ISBN 3-540-54563-8 
Invited Talks
Expert Systems
- Christoph F. Eick:
Integrating Variables and Operations into Rule-Based Forward Chaining Systems.
52-61
- David Mutchler:
The Multi-Player Version of Minimax Displays Game-Tree Pathology.
62-71
- Luigi Portinale:
Generalization Handling in a Dynamic Case Memory.
72-81
Intelligent Databases
- Hichul An, Lawrence J. Henschen:
Knowledge Based Semantic Query Optimization.
82-91
- Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian:
Combining Knowledge Bases Consisting of First Order Theories.
92-101
- Sanjiv K. Bhatia, Jitender S. Deogun, Vijay V. Raghavan:
User Profiles for Information Retrieval.
102-111
- I-Min A. Chen, Rei-Chi Lee:
An Approach to Deriving Object Hierarchies from Database Schema and Contents.
112-121
- Bipin C. Desai, Li Zhang:
Multilevel Interface to a Distributed Database System.
122-131
- Jiawei Han, Qiang Wang:
Efficient Evaluation of Linear Recursions with Function Sysmbols in Deductive Databases.
132-141
- Jane Yung-jen Hsu:
Synthesizing Efficient Agents from Partial Programs.
142-151
- Kenneth A. Kaufman, Ryszard S. Michalski, Larry Kerschberg:
Knowledge Extraction from Databases: Design Princiles of the INLEN System.
152-161
- Raymond T. Ng, V. S. Subrahmanian:
Stable Model Semantics for Probabilistic Deductive Databases.
162-171
- S. K. Michael Wong, Pawan Lingras, Yiyu Yao:
Towards Implementing Valuation Based Systems with Relational Databases.
172-182
Knowledge Representation
Learning And Adaptive Systems
- Jerzy W. Bala, Kenneth DeJong, Peter Pachowicz:
Using Genetic Algorithms to Improve the Performance of Classification Rules Produced by Symolic Inductive Methods.
286-295
- Marco Botta, Attilio Giordana:
Learning Quantitative Features in a Symbolic Environment.
296-305
- Sam Coates-Stephens:
Automatic Acquisition of Proper Noun Meanings.
306-315
- Luca Console, Attilio Giordana, Lorenza Saitta:
Investigating the Relationships between Abduction and Inverse Resolution in Proposition Calculus.
316-325
- Sylvain Delisle, Stan Matwin, Jiandong Wang, Lionel Zupan:
Explanation-based Learning Helps Acquire Knowledge from Natural Language Texts.
326-337
- Charles W. Glover, Nageswara S. V. Rao, E. M. Oblow:
Hybrid Pattern Recognition System Capable of Self-Modification.
338-347
- A. Goker, T. L. McCluskey:
Towards an Adaptive Information Retrieval System.
348-357
- Diana F. Gordon:
Improving the Comprehensibility, Accuracy, and Generality of Reactive Plans.
358-367
- Jerzy W. Grzymala-Busse:
On the Unknown Attribute Values in Learning from Examples.
368-377
- Cezary Z. Janikow:
A New System for Inductive Learning in Attribute-Based Spaces.
378-388
- Maciej Michalewicz, Zbigniew Michalewicz:
Generation of Classification Rules.
389-398
- Steven Salzberg:
Distance Metrics for Instance-Bsed Learning.
399-408
- William M. Spears, Vic Anand:
A Study of Crossover Operators in Genetic Programming.
409-418
- Gheorghe Tecuci, Ryszard S. Michalski:
Input Understanding as a Basis for Multistrategy Task-Adaptive Learning.
419-428
- Robert Zembowicz, Jan M. Zytkow:
Automated Discovery of Empirical Equations from Data.
429-440
- Jan M. Zytkow, Paul J. Fischer:
Constructing Models of Hidden Structure.
441-449
Logic For Artificial Intelligence
- Seiki Akama:
Amalgamated Logic Programming and Non-Monotonic Reasoning.
450-458
- Chitta Baral, Jorge Lobo, Jack Minker:
WF³: A Semantics for Negation in Normal Disjunctive Logic Programs.
459-468
- Jacques Calmet, Indra A. Tjandra:
Representation of Mathematical Knowledge.
469-478
- Philippe Chatalic, Christine Froidevaux:
Graded Logics: A Framework for Uncertain and Defeasible Knowledge.
479-489
- Jianhua Chen, Sukhamay Kundu:
The Strong Semantics for Logic Programs.
490-499
- James M. Conrad, Dennis Bahler, James Bowen:
Static Parallel Arc Consistency in Constraint Satisfaction.
500-509
- Peter A. Flach:
Towards a Theory of Inductive Logic Programming.
510-519
- Y. J. Jiang:
Another View of Autoepistemic Logic and Truth Maintenance System.
520-529
- Kienchung Kuo:
Dynamic Autoepistemic Logic.
530-539
- Sven Lorenz:
Nonmonotonic Temporal Reasoning: Persistence, Justified Causation and Event Minimization.
540-549
- Pierre Marquis:
Novelty Revisited.
550-559
- Michael J. Miller, Donald Perlis:
Typicality Constants and Range Defaults: Some Pros and Cons of a Cognitive Model of Default Reasoning.
560-569
- Neil V. Murray, Erik Rosenthal:
Resolution and Path Dissolution in Multi-Valued Logics.
570-579
- Xumin Nie:
How Well Are Non-Horn Clauses Handled?
580-588
- Madhura Nirkhe, Sarit Kraus, Donald Perlis:
Fully Deadline-Coupled Planning: One Step at a Time.
589-599
- Jan A. Plaza:
Completeness for Propositional Logic Programs with Negation.
600-609
- Arcot Rajasekar:
Disjunctive Logic Programs and Constrain Processing.
610-619
- Zbigniew Stachniak:
Note on Resolution Circuits.
620-629
- Richmond H. Thomason:
A Semantic Analysis of Monotonic Inheritance with Roles and Relations.
630-644
Last update Wed Feb 15 05:11:27 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
