default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st ISMIS 1986: Knoxville, TN, USA
- Zbigniew W. Ras, Maria Zemankova:
Proceedings of the ACM SIGART International Symposium on Methodologies for Intelligent Systems, ISMIS 1986, Knoxville, Tennessee, USA, October 22-24, 1986. ACM 1986, ISBN 978-0-89791-206-8 - Bruce G. Buchanan:
Recent developments in expert systems. 1 - B. Chandrasekaran:
Generic tasks in knowledge-based reasoning: a level of abstraction that supports knowledge acquisition, system design and explanation. 2-7 - Ephraim Nissan:
The frame-definition language for customizing the Raffaello structure-editor in host expert systems. 8-18 - Simonetta Frediani, Lorenza Saitta:
Knowledge base organization in expert systems. 19-27 - Kazuhiko Kawamura, Guy O. Beale, J. Rodriquez-Moscoso, B. J. Hsieh, Samir Padalkar:
NESS: A coupled simulation expert system. 28-39 - Arie Zvieli, S. Kim MacGregor, J. Z. Shapiro:
Design of an expert system for utilization research. 40-55 - Donnie R. Ford, S. Floyd:
An expert system for dynamic scheduling. 56-64 - Thomas Whalen, Brian Schott:
Beginners' strategies in example based expert systems. 65-73 - Gio Wiederhold, Michael G. Walker, Robert L. Blum, S. Downs:
Acquisition of knowledge from data. 74-84 - Teodor C. Przymusinski:
A decidable query answering algorithm for circumscriptive theories. 85-93 - Ramón López de Mántaras, Jaume Agustí-Cullell, Ulises Cortés
, Enric Plaza:
Fuzzy knowledge engineering techniques in scientific document classification. 94-102 - M. Rajinikanth, Prasanta K. Bose:
A semantic and logical front-end to a database system. 103-111 - Gautam Biswas, James C. Bezdek, Robert L. Oakman:
A knowledge-based approach to online document retrieval system design. 112-120 - Sung-Hyon Myaeng, Robert R. Korfhage:
Towards an intelligent and personalized retrieval system. 121-129 - Peter C. Cheeseman:
Induction of models under uncertainty. 130-144 - Lotfi A. Zadeh:
The concept of a generalized assignment statement and its application to commonsense reasoning. 145-146 - Masaki Togai, Hiroyuki Watanabe:
Expert system on a chip: an engine for real-time approximate reasoning. 147-154 - Steven W. Norton:
Selecting expert system frameworks within the Bayesian theory. 155-164 - Thomas A. Sudkamp:
Inference propagation in emitter, system hierarchies. 165-173 - Chun-Hung Tzeng, Paul Walton Purdom Jr.:
Estimation of minimax values. 174-182 - Ronald R. Yager:
Aggregating criteria with quantifiers. 183-189 - V. Wiktor Marek, Helena Rasiowa:
Approximating sets with equivalence relations. 190-200 - Su-Shing Chen:
Evidential logic and Dempster-Shafer theory. 201-206 - S. K. Michael Wong, Wojciech Ziarko:
Algebraic versus probabilistic independence in decision theory. 207-212 - Donald W. Loveland:
Automated theorem proving: mapping logic into AI. 214-229 - David A. Plaisted, J. W. Curry:
Extensions to functional programming in Scheme. 230-246 - Melvin Fitting:
Logic programming semantics using a compact data structure. 247-255 - Michael Gelfond, Halina Przymusinska:
On the relationship between autoepistemic logic and parallel circumscription. 256-261 - Jennifer J. Elgot-Drapkin, Donald Perlis:
A preliminary excursion into step-logics. 262-269 - Sukhamay Kundu:
Tree resolution and generalized semantic tree. 270-278 - K. Whitebread:
An inference model for inheritance hierarchies with exceptions. 279-287 - Jaime G. Carbonell:
Analogical reasoning in planning and decision making. 288 - Ryszard S. Michalski:
Emerging principles in machine learning. 289 - George Epstein:
Memory length as a feedback parameter in learning systems. 290-295 - B. W. Koehn, Jan M. Zytkow:
Experimenting and theorizing in theory formation. 296-307 - S. K. Michael Wong, Wojciech Ziarko:
On learning and evaluation of decision rules in the context of rough sets. 308-324 - Lawrence J. Mazlack:
Taxonomic ambiguities in category variations needed to support machine conceptualization. 325-332 - T. V. D. Kumar, N. Parameswaran:
A model for self-adaptation in a robot colony. 333-341 - Joseph Deken:
Viable inference systems. 342 - Ranan B. Banerji:
Self-improvement in problem-solving. 343-365 - Brian R. Gaines:
Logical foundations for knowledge representation in intelligent systems. 366-380 - David H. Helman, Jeffrey L. Bennett, A. W. Foster:
Simulations and symbolic explanations. 381-389 - Elöd Knuth, László Hannák, Ágnes Hernádi:
Notes on conceptual representations. 390-398 - John Dinsmore:
Spaceprobe: A system for representing complex knowledge. 399-407 - Lloyd F. Arrowood, Mike R. Hilliard, Ho-Ling Hwang, M. L. Emrich:
Challenges in applying artificial intelligence methodologies to military operations. 408-414 - Michael G. Thomason, Richard E. Blake, Matthew Lybanon:
Knowledge-based processing/interpretation of oceanographic satellite data. 415-422 - Francesco Bergadano, Attilio Giordana:
A framework for knowledge representation and use in pattern analysis. 423-431 - Jerzy W. Grzymala-Busse:
Algebraic properties of knowledge representation systems. 432-440 - J. Robin B. Cockett, J. Herrera:
Prime rule-based methodologies give inadequate control. 441-449
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 2025-12-23 00:30 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:
