ISMIS C

50 papers

YearTitle / Authors
1986A decidable query answering algorithm for circumscriptive theories.
Teodor C. Przymusinski
1986A framework for knowledge representation and use in pattern analysis.
Francesco Bergadano, Attilio Giordana
1986A knowledge-based approach to online document retrieval system design.
Gautam Biswas, James C. Bezdek, Robert L. Oakman
1986A model for self-adaptation in a robot colony.
T. V. D. Kumar, N. Parameswaran
1986A preliminary excursion into step-logics.
Jennifer J. Elgot-Drapkin, Donald Perlis
1986A semantic and logical front-end to a database system.
M. Rajinikanth, Prasanta K. Bose
1986Acquisition of knowledge from data.
Gio Wiederhold, Michael G. Walker, Robert L. Blum, S. Downs
1986Aggregating criteria with quantifiers.
Ronald R. Yager
1986Algebraic properties of knowledge representation systems.
Jerzy W. Grzymala-Busse
1986Algebraic versus probabilistic independence in decision theory.
S. K. Michael Wong, Wojciech Ziarko
1986An expert system for dynamic scheduling.
Donnie R. Ford, S. Floyd
1986An inference model for inheritance hierarchies with exceptions.
K. Whitebread
1986Analogical reasoning in planning and decision making.
Jaime G. Carbonell
1986Approximating sets with equivalence relations.
V. Wiktor Marek, Helena Rasiowa
1986Automated theorem proving: mapping logic into AI.
Donald W. Loveland
1986Beginners' strategies in example based expert systems.
Thomas Whalen, Brian Schott
1986Challenges in applying artificial intelligence methodologies to military operations.
Lloyd F. Arrowood, Mike R. Hilliard, Ho-Ling Hwang, M. L. Emrich
1986Design of an expert system for utilization research.
Arie Zvieli, S. Kim MacGregor, J. Z. Shapiro
1986Emerging principles in machine learning.
Ryszard S. Michalski
1986Estimation of minimax values.
Chun-Hung Tzeng, Paul Walton Purdom Jr.
1986Evidential logic and Dempster-Shafer theory.
Su-shing Chen
1986Experimenting and theorizing in theory formation.
B. W. Koehn, Jan M. Zytkow
1986Expert system on a chip: an engine for real-time approximate reasoning.
Masaki Togai, Hiroyuki Watanabe
1986Extensions to functional programming in Scheme.
David A. Plaisted, J. W. Curry
1986Fuzzy knowledge engineering techniques in scientific document classification.
Ramón López de Mántaras, Jaume Agustí-Cullell, Ulises Cortés, Enric Plaza
1986Generic tasks in knowledge-based reasoning: a level of abstraction that supports knowledge acquisition, system design and explanation.
B. Chandrasekaran
1986Induction of models under uncertainty.
Peter C. Cheeseman
1986Inference propagation in emitter, system hierarchies.
Thomas A. Sudkamp
1986Knowledge base organization in expert systems.
Simonetta Frediani, Lorenza Saitta
1986Knowledge-based processing/interpretation of oceanographic satellite data.
Michael G. Thomason, Richard E. Blake, Matthew Lybanon
1986Logic programming semantics using a compact data structure.
Melvin Fitting
1986Logical foundations for knowledge representation in intelligent systems.
Brian R. Gaines
1986Memory length as a feedback parameter in learning systems.
George Epstein
1986NESS: A coupled simulation expert system.
Kazuhiko Kawamura, Guy O. Beale, J. Rodriquez-Moscoso, B. J. Hsieh, Samir Padalkar
1986Notes on conceptual representations.
Elöd Knuth, László Hannák, Ágnes Hernádi
1986On learning and evaluation of decision rules in the context of rough sets.
S. K. Michael Wong, Wojciech Ziarko
1986On the relationship between autoepistemic logic and parallel circumscription.
Michael Gelfond, Halina Przymusinska
1986Prime rule-based methodologies give inadequate control.
J. Robin B. Cockett, J. Herrera
1986Proceedings of the ACM SIGART International Symposium on Methodologies for Intelligent Systems, ISMIS 1986, Knoxville, Tennessee, USA, October 22-24, 1986
Zbigniew W. Ras, Maria Zemankova
1986Recent developments in expert systems.
Bruce G. Buchanan
1986Selecting expert system frameworks within the Bayesian theory.
Steven W. Norton
1986Self-improvement in problem-solving.
Ranan B. Banerji
1986Simulations and symbolic explanations.
David H. Helman, Jeffrey L. Bennett, A. W. Foster
1986Spaceprobe: A system for representing complex knowledge.
John Dinsmore
1986Taxonomic ambiguities in category variations needed to support machine conceptualization.
Lawrence J. Mazlack
1986The concept of a generalized assignment statement and its application to commonsense reasoning.
Lotfi A. Zadeh
1986The frame-definition language for customizing the Raffaello structure-editor in host expert systems.
Ephraim Nissan
1986Towards an intelligent and personalized retrieval system.
Sung-Hyon Myaeng, Robert R. Korfhage
1986Tree resolution and generalized semantic tree.
Sukhamay Kundu
1986Viable inference systems.
Joseph Deken