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. Springer 1991 Lecture Notes in Computer Science ISBN 3-540-54563-8
Invited Talks
- Larry Kerschberg: Methodologies for Data/Knowledge/Information Engineering: Will the Twain Meet? (Extended Abstract). 32-34
- Tom M. Mitchell: Personal Learning Apprentices. 35-37
- Gio Wiederhold: The Roles of Artificial Intelligence in Information Systems. 38-51
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
- 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
- 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
- Bei-Tseng Bill Chu: On the Representation of Continuous Causal Relationships. 183-192
- Jacek Malec: Process Transition Networks: A Formal Graphical Knowledge Representation Tool. 193-202
- Zbigniew W. Ras, Jing Xiao: A Model of Information Sharing for Fault-Tolerant Flexible Manufacturing Systems. 213-225
- Michael W. Sobolewski: Percept Conceptualizations and Their Knowledge Representation Schemes. 236-245
- Paolo Terenziani: Combining Time Points and Time Intervals in a Hybrid Knowledge Representation Formalism. 246-255
- Krishnaprasad Thirunarayan: An Analysis of Property-Flow View vs Individual-Flow View of Inheritance. 256-265
- Marianne Winslett, Seng-cho Timothy Chou: Updates with Equality: Beyond the Herbrand Universe Assumption. 276-285
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
- 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
- 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
- Steven Salzberg: Distance Metrics for Instance-Bsed Learning. 399-408
- Gheorghe Tecuci, Ryszard S. Michalski: Input Understanding as a Basis for Multistrategy Task-Adaptive Learning. 419-428
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
- Philippe Chatalic, Christine Froidevaux: Graded Logics: A Framework for Uncertain and Defeasible Knowledge. 479-489
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team