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 BibTeX

@proceedings{DBLP:conf/ismis/1991,
  editor    = {Zbigniew W. Ras and
               Maria Zemankova},
  title     = {Methodologies for Intelligent Systems, 6th International Symposium,
               ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings},
  booktitle = {ISMIS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {542},
  year      = {1991},
  isbn      = {3-540-54563-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

Alan W. Biermann, Ronnie W. Smith: An Architecture for Pragmatic Voice Interactive Systems. 1-15 BibTeX
Jon Doyle, Yoav Shoham, Michael P. Wellman: A Logic of Relative Desire (Preliminary Report). 16-31 BibTeX
Larry Kerschberg: Methodologies for Data/Knowledge/Information Engineering: Will the Twain Meet? (Extended Abstract). 32-34 BibTeX
Tom M. Mitchell: Personal Learning Apprentices. 35-37 BibTeX
Gio Wiederhold: The Roles of Artificial Intelligence in Information Systems. 38-51 BibTeX

Expert Systems

Christoph F. Eick: Integrating Variables and Operations into Rule-Based Forward Chaining Systems. 52-61 BibTeX
David Mutchler: The Multi-Player Version of Minimax Displays Game-Tree Pathology. 62-71 BibTeX
Luigi Portinale: Generalization Handling in a Dynamic Case Memory. 72-81 BibTeX

Intelligent Databases

Hichul An, Lawrence J. Henschen: Knowledge Based Semantic Query Optimization. 82-91 BibTeX
Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian: Combining Knowledge Bases Consisting of First Order Theories. 92-101 BibTeX
Sanjiv K. Bhatia, Jitender S. Deogun, Vijay V. Raghavan: User Profiles for Information Retrieval. 102-111 BibTeX
I-Min A. Chen, Rei-Chi Lee: An Approach to Deriving Object Hierarchies from Database Schema and Contents. 112-121 BibTeX
Bipin C. Desai, Li Zhang: Multilevel Interface to a Distributed Database System. 122-131 BibTeX
Jiawei Han, Qiang Wang: Efficient Evaluation of Linear Recursions with Function Sysmbols in Deductive Databases. 132-141 BibTeX
Jane Yung-jen Hsu: Synthesizing Efficient Agents from Partial Programs. 142-151 BibTeX
Kenneth A. Kaufman, Ryszard S. Michalski, Larry Kerschberg: Knowledge Extraction from Databases: Design Princiles of the INLEN System. 152-161 BibTeX
Raymond T. Ng, V. S. Subrahmanian: Stable Model Semantics for Probabilistic Deductive Databases. 162-171 BibTeX
S. K. Michael Wong, Pawan Lingras, Yiyu Yao: Towards Implementing Valuation Based Systems with Relational Databases. 172-182 BibTeX

Knowledge Representation

Bei-Tseng Bill Chu: On the Representation of Continuous Causal Relationships. 183-192 BibTeX
Jacek Malec: Process Transition Networks: A Formal Graphical Knowledge Representation Tool. 193-202 BibTeX
Ricardo A. Munoz, Chao-Chih Yang: Using Normal Deduction Graphs in Default Reasoning. 203-212 BibTeX
Zbigniew W. Ras, Jing Xiao: A Model of Information Sharing for Fault-Tolerant Flexible Manufacturing Systems. 213-225 BibTeX
Barry Richards, Yuejun Jiang, H. Choi: On Interval-based Temporal Planning: An IQ Strategy. 226-235 BibTeX
Michael W. Sobolewski: Percept Conceptualizations and Their Knowledge Representation Schemes. 236-245 BibTeX
Paolo Terenziani: Combining Time Points and Time Intervals in a Hybrid Knowledge Representation Formalism. 246-255 BibTeX
Krishnaprasad Thirunarayan: An Analysis of Property-Flow View vs Individual-Flow View of Inheritance. 256-265 BibTeX
Edgar B. Wendlandt, James R. Discroll: Semantic Extensions to Text Retrieval. 266-275 BibTeX
Marianne Winslett, Seng-cho Timothy Chou: Updates with Equality: Beyond the Herbrand Universe Assumption. 276-285 BibTeX

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 BibTeX
Marco Botta, Attilio Giordana: Learning Quantitative Features in a Symbolic Environment. 296-305 BibTeX
Sam Coates-Stephens: Automatic Acquisition of Proper Noun Meanings. 306-315 BibTeX
Luca Console, Attilio Giordana, Lorenza Saitta: Investigating the Relationships between Abduction and Inverse Resolution in Proposition Calculus. 316-325 BibTeX
Sylvain Delisle, Stan Matwin, Jiandong Wang, Lionel Zupan: Explanation-based Learning Helps Acquire Knowledge from Natural Language Texts. 326-337 BibTeX
Charles W. Glover, Nageswara S. V. Rao, E. M. Oblow: Hybrid Pattern Recognition System Capable of Self-Modification. 338-347 BibTeX
A. Goker, T. L. McCluskey: Towards an Adaptive Information Retrieval System. 348-357 BibTeX
Diana F. Gordon: Improving the Comprehensibility, Accuracy, and Generality of Reactive Plans. 358-367 BibTeX
Jerzy W. Grzymala-Busse: On the Unknown Attribute Values in Learning from Examples. 368-377 BibTeX
Cezary Z. Janikow: A New System for Inductive Learning in Attribute-Based Spaces. 378-388 BibTeX
Maciej Michalewicz, Zbigniew Michalewicz: Generation of Classification Rules. 389-398 BibTeX
Steven Salzberg: Distance Metrics for Instance-Bsed Learning. 399-408 BibTeX
William M. Spears, Vic Anand: A Study of Crossover Operators in Genetic Programming. 409-418 BibTeX
Gheorghe Tecuci, Ryszard S. Michalski: Input Understanding as a Basis for Multistrategy Task-Adaptive Learning. 419-428 BibTeX
Robert Zembowicz, Jan M. Zytkow: Automated Discovery of Empirical Equations from Data. 429-440 BibTeX
Jan M. Zytkow, Paul J. Fischer: Constructing Models of Hidden Structure. 441-449 BibTeX

Logic For Artificial Intelligence

Seiki Akama: Amalgamated Logic Programming and Non-Monotonic Reasoning. 450-458 BibTeX
Chitta Baral, Jorge Lobo, Jack Minker: WF³: A Semantics for Negation in Normal Disjunctive Logic Programs. 459-468 BibTeX
Jacques Calmet, Indra A. Tjandra: Representation of Mathematical Knowledge. 469-478 BibTeX
Philippe Chatalic, Christine Froidevaux: Graded Logics: A Framework for Uncertain and Defeasible Knowledge. 479-489 BibTeX
Jianhua Chen, Sukhamay Kundu: The Strong Semantics for Logic Programs. 490-499 BibTeX
James M. Conrad, Dennis Bahler, James Bowen: Static Parallel Arc Consistency in Constraint Satisfaction. 500-509 BibTeX
Peter A. Flach: Towards a Theory of Inductive Logic Programming. 510-519 BibTeX
Y. J. Jiang: Another View of Autoepistemic Logic and Truth Maintenance System. 520-529 BibTeX
Kienchung Kuo: Dynamic Autoepistemic Logic. 530-539 BibTeX
Sven Lorenz: Nonmonotonic Temporal Reasoning: Persistence, Justified Causation and Event Minimization. 540-549 BibTeX
Pierre Marquis: Novelty Revisited. 550-559 BibTeX
Michael J. Miller, Donald Perlis: Typicality Constants and Range Defaults: Some Pros and Cons of a Cognitive Model of Default Reasoning. 560-569 BibTeX
Neil V. Murray, Erik Rosenthal: Resolution and Path Dissolution in Multi-Valued Logics. 570-579 BibTeX
Xumin Nie: How Well Are Non-Horn Clauses Handled? 580-588 BibTeX
Madhura Nirkhe, Sarit Kraus, Donald Perlis: Fully Deadline-Coupled Planning: One Step at a Time. 589-599 BibTeX
Jan A. Plaza: Completeness for Propositional Logic Programs with Negation. 600-609 BibTeX
Arcot Rajasekar: Disjunctive Logic Programs and Constrain Processing. 610-619 BibTeX
Zbigniew Stachniak: Note on Resolution Circuits. 620-629 BibTeX
Richmond H. Thomason: A Semantic Analysis of Monotonic Inheritance with Roles and Relations. 630-644 BibTeX