Skip to content

International Symposium on Foundations of Intelligent Systems

ISMIS

C

CORE rank

CORE rank (raw)

C

Fields of research

Artificial Intelligence

Papers indexed

1,595

1986–2026

Papers per year

1986104 peak2026

ISMIS papers

1,595 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
1986Algebraic versus probabilistic independence in decision theory.S. K. Michael Wong, Wojciech Ziarko
1986Acquisition of knowledge from data.Gio Wiederhold, Michael G. Walker, Robert L. Blum, S. Downs
1986An inference model for inheritance hierarchies with exceptions.K. Whitebread
1986Beginners' strategies in example based expert systems.Thomas Whalen, Brian Schott
1986Estimation of minimax values.Chun-Hung Tzeng, Paul Walton Purdom Jr.
1986Expert system on a chip: an engine for real-time approximate reasoning.Masaki Togai, Hiroyuki Watanabe
1986Knowledge-based processing/interpretation of oceanographic satellite data.Michael G. Thomason, Richard E. Blake, Matthew Lybanon
1986Inference propagation in emitter, system hierarchies.Thomas A. Sudkamp
1986A semantic and logical front-end to a database system.M. Rajinikanth, Prasanta K. Bose
1986A decidable query answering algorithm for circumscriptive theories.Teodor C. Przymusinski
1986Extensions to functional programming in Scheme.David A. Plaisted, J. W. Curry
1986Selecting expert system frameworks within the Bayesian theory.Steven W. Norton
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
1986Emerging principles in machine learning.Ryszard S. Michalski
1986Taxonomic ambiguities in category variations needed to support machine conceptualization.Lawrence J. Mazlack
1986Approximating sets with equivalence relations.V. Wiktor Marek, Helena Rasiowa
1986Fuzzy knowledge engineering techniques in scientific document classification.Ramn Lpez de Mntaras, Jaume Agust-Cullell, Ulises Corts, Enric Plaza
1986Automated theorem proving: mapping logic into AI.Donald W. Loveland
1986Tree resolution and generalized semantic tree.Sukhamay Kundu
1986A model for self-adaptation in a robot colony.T. V. D. Kumar, N. Parameswaran
1986Experimenting and theorizing in theory formation.B. W. Koehn, Jan M. Zytkow
1986Notes on conceptual representations.Eld Knuth, Lszl Hannk, gnes Herndi
1986NESS: A coupled simulation expert system.Kazuhiko Kawamura, Guy O. Beale, J. Rodriquez-Moscoso, B. J. Hsieh, Samir Padalkar
1986Simulations and symbolic explanations.David H. Helman, Jeffrey L. Bennett, A. W. Foster
1,5511,575 of 1,595← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.