default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th ISMIS 1991: Charlotte, NC, USA
- Zbigniew W. Ras, Maria Zemankova:
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
- Alan W. Biermann, Ronnie W. Smith:
An Architecture for Pragmatic Voice Interactive Systems. 1-15 - Jon Doyle
, Yoav Shoham, Michael P. Wellman:
A Logic of Relative Desire (Preliminary Report). 16-31 - 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
- 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
- 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 - Ricardo A. Munoz, Chao-Chih Yang:
Using Normal Deduction Graphs in Default Reasoning. 203-212 - Zbigniew W. Ras, Jing Xiao:
A Model of Information Sharing for Fault-Tolerant Flexible Manufacturing Systems. 213-225 - Barry Richards, Yuejun Jiang, H. Choi:
On Interval-based Temporal Planning: An IQ Strategy. 226-235 - 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 - Edgar B. Wendlandt, James R. Discroll:
Semantic Extensions to Text Retrieval. 266-275 - Marianne Winslett, Seng-cho Timothy Chou:
Updates with Equality: Beyond the Herbrand Universe Assumption. 276-285
Learning And Adaptive Systems
- Jerzy W. Bala, Kenneth A. De Jong, 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, Thomas Leo 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 R. Bahler, James Bowen:
Static Parallel Arc Consistency in Constraint Satisfaction. 500-509 - Peter A. Flach:
Towards a Theory of Inductive Logic Programming. 510-519 - Yuejun 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
