ISMIS C

64 papers

YearTitle / Authors
1991A Logic of Relative Desire (Preliminary Report).
Jon Doyle, Yoav Shoham, Michael P. Wellman
1991A Model of Information Sharing for Fault-Tolerant Flexible Manufacturing Systems.
Zbigniew W. Ras, Jing Xiao
1991A New System for Inductive Learning in Attribute-Based Spaces.
Cezary Z. Janikow
1991A Semantic Analysis of Monotonic Inheritance with Roles and Relations.
Richmond H. Thomason
1991A Study of Crossover Operators in Genetic Programming.
William M. Spears, Vic Anand
1991Amalgamated Logic Programming and Non-Monotonic Reasoning.
Seiki Akama
1991An Analysis of Property-Flow View vs Individual-Flow View of Inheritance.
Krishnaprasad Thirunarayan
1991An Approach to Deriving Object Hierarchies from Database Schema and Contents.
I-Min A. Chen, Rei-Chi Lee
1991An Architecture for Pragmatic Voice Interactive Systems.
Alan W. Biermann, Ronnie W. Smith
1991Another View of Autoepistemic Logic and Truth Maintenance System.
Yuejun Jiang
1991Automated Discovery of Empirical Equations from Data.
Robert Zembowicz, Jan M. Zytkow
1991Automatic Acquisition of Proper Noun Meanings.
Sam Coates-Stephens
1991Combining Knowledge Bases Consisting of First Order Theories.
Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian
1991Combining Time Points and Time Intervals in a Hybrid Knowledge Representation Formalism.
Paolo Terenziani
1991Completeness for Propositional Logic Programs with Negation.
Jan A. Plaza
1991Constructing Models of Hidden Structure.
Jan M. Zytkow, Paul J. Fischer
1991Disjunctive Logic Programs and Constrain Processing.
Arcot Rajasekar
1991Distance Metrics for Instance-Bsed Learning.
Steven Salzberg
1991Dynamic Autoepistemic Logic.
Kienchung Kuo
1991Efficient Evaluation of Linear Recursions with Function Sysmbols in Deductive Databases.
Jiawei Han, Qiang Wang
1991Explanation-based Learning Helps Acquire Knowledge from Natural Language Texts.
Sylvain Delisle, Stan Matwin, Jiandong Wang, Lionel Zupan
1991Fully Deadline-Coupled Planning: One Step at a Time.
Madhura Nirkhe, Sarit Kraus, Donald Perlis
1991Generalization Handling in a Dynamic Case Memory.
Luigi Portinale
1991Generation of Classification Rules.
Maciej Michalewicz, Zbigniew Michalewicz
1991Graded Logics: A Framework for Uncertain and Defeasible Knowledge.
Philippe Chatalic, Christine Froidevaux
1991How Well Are Non-Horn Clauses Handled?
Xumin Nie
1991Hybrid Pattern Recognition System Capable of Self-Modification.
Charles W. Glover, Nageswara S. V. Rao, E. M. Oblow
1991Improving the Comprehensibility, Accuracy, and Generality of Reactive Plans.
Diana F. Gordon
1991Input Understanding as a Basis for Multistrategy Task-Adaptive Learning.
Gheorghe Tecuci, Ryszard S. Michalski
1991Integrating Variables and Operations into Rule-Based Forward Chaining Systems.
Christoph F. Eick
1991Investigating the Relationships between Abduction and Inverse Resolution in Proposition Calculus.
Luca Console, Attilio Giordana, Lorenza Saitta
1991Knowledge Based Semantic Query Optimization.
Hichul An, Lawrence J. Henschen
1991Knowledge Extraction from Databases: Design Princiles of the INLEN System.
Kenneth A. Kaufman, Ryszard S. Michalski, Larry Kerschberg
1991Learning Quantitative Features in a Symbolic Environment.
Marco Botta, Attilio Giordana
1991Methodologies for Data/Knowledge/Information Engineering: Will the Twain Meet? (Extended Abstract).
Larry Kerschberg
1991Methodologies for Intelligent Systems, 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings
Zbigniew W. Ras, Maria Zemankova
1991Multilevel Interface to a Distributed Database System.
Bipin C. Desai, Li Zhang
1991Nonmonotonic Temporal Reasoning: Persistence, Justified Causation and Event Minimization.
Sven Lorenz
1991Note on Resolution Circuits.
Zbigniew Stachniak
1991Novelty Revisited.
Pierre Marquis
1991On Interval-based Temporal Planning: An IQ Strategy.
Barry Richards, Yuejun Jiang, H. Choi
1991On the Representation of Continuous Causal Relationships.
Bei-Tseng Bill Chu
1991On the Unknown Attribute Values in Learning from Examples.
Jerzy W. Grzymala-Busse
1991Percept Conceptualizations and Their Knowledge Representation Schemes.
Michael W. Sobolewski
1991Personal Learning Apprentices.
Tom M. Mitchell
1991Process Transition Networks: A Formal Graphical Knowledge Representation Tool.
Jacek Malec
1991Representation of Mathematical Knowledge.
Jacques Calmet, Indra A. Tjandra
1991Resolution and Path Dissolution in Multi-Valued Logics.
Neil V. Murray, Erik Rosenthal
1991Semantic Extensions to Text Retrieval.
Edgar B. Wendlandt, James R. Discroll
1991Stable Model Semantics for Probabilistic Deductive Databases.
Raymond T. Ng, V. S. Subrahmanian
1991Static Parallel Arc Consistency in Constraint Satisfaction.
James M. Conrad, Dennis R. Bahler, James Bowen
1991Synthesizing Efficient Agents from Partial Programs.
Jane Yung-jen Hsu
1991The Multi-Player Version of Minimax Displays Game-Tree Pathology.
David Mutchler
1991The Roles of Artificial Intelligence in Information Systems.
Gio Wiederhold
1991The Strong Semantics for Logic Programs.
Jianhua Chen, Sukhamay Kundu
1991Towards Implementing Valuation Based Systems with Relational Databases.
S. K. Michael Wong, Pawan Lingras, Yiyu Yao
1991Towards a Theory of Inductive Logic Programming.
Peter A. Flach
1991Towards an Adaptive Information Retrieval System.
A. Goker, Thomas Leo McCluskey
1991Typicality Constants and Range Defaults: Some Pros and Cons of a Cognitive Model of Default Reasoning.
Michael J. Miller, Donald Perlis
1991Updates with Equality: Beyond the Herbrand Universe Assumption.
Marianne Winslett, Seng-Cho Timothy Chou
1991User Profiles for Information Retrieval.
Sanjiv K. Bhatia, Jitender S. Deogun, Vijay V. Raghavan
1991Using Genetic Algorithms to Improve the Performance of Classification Rules Produced by Symolic Inductive Methods.
Jerzy W. Bala, Kenneth A. De Jong, Peter Pachowicz
1991Using Normal Deduction Graphs in Default Reasoning.
Ricardo A. Munoz, Chao-Chih Yang
1991WF³: A Semantics for Negation in Normal Disjunctive Logic Programs.
Chitta Baral, Jorge Lobo, Jack Minker