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
1991Graded Logics: A Framework for Uncertain and Defeasible Knowledge.Philippe Chatalic, Christine Froidevaux
1991Representation of Mathematical Knowledge.Jacques Calmet, Indra A. Tjandra
1991Learning Quantitative Features in a Symbolic Environment.Marco Botta, Attilio Giordana
1991An Architecture for Pragmatic Voice Interactive Systems.Alan W. Biermann, Ronnie W. Smith
1991User Profiles for Information Retrieval.Sanjiv K. Bhatia, Jitender S. Deogun, Vijay V. Raghavan
1991WF³: A Semantics for Negation in Normal Disjunctive Logic Programs.Chitta Baral, Jorge Lobo, Jack Minker
1991Combining Knowledge Bases Consisting of First Order Theories.Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian
1991Using Genetic Algorithms to Improve the Performance of Classification Rules Produced by Symolic Inductive Methods.Jerzy W. Bala, Kenneth A. De Jong, Peter Pachowicz
1991Knowledge Based Semantic Query Optimization.Hichul An, Lawrence J. Henschen
1991Amalgamated Logic Programming and Non-Monotonic Reasoning.Seiki Akama
1988An Intelligent Multimodal Interface.Wolfgang Wahlster
1988An Intelligent Directory Assistence System.Hisazumi Tsuchida, Sigehito Iwase, Minoru Ohyama
1988Elements in Temporal Reasoning in Planning.Edward P. K. Tsang
1988Knowledge Representation and Reasoning in Expert Systems for Biophysics.George I. Sharkov, Dimiter S. Dimitrov
1988When is Closed World Reasoning Tractable?John S. Schlipf
1988An Approach to Non-Monotonic Entailment.Erik Sandewall
1988Towards a Methodology for Acquiring Social-Scientific Knowledge.Roas Massa Rolandino, Maria Luisa Bianco
1988On Stable Autoepistemic Theories.Cecylia Rauszer
1988System Architecture for a Real-Time Planning Agent in an Autonomous Air Craft.Gran Pettersson, Dan Strmberg
1988NODE: A Database for Use by Intelligent Systems.Lin Padgham
1988Hybrid Reasoning in BACK.Bernhard Nebel, Kai von Luck
1988Compiling Built-In Taxonomic Reasoning in Prolog.Giorgio Montini
1988ISLAND: An Intelligent System for Local Area Network Design.Douglas P. Metzler, James Williams
1988A Hierarchical Sigma-Pi Neural Architecture for Learning Search Algorithms.Gee-gwo Mei, Wentai Liu, Su-Shing Chen
1988Deriving a Correct Logic Program from the Formal Specification of a Non-Linear Planner.Thomas Leo McCluskey
1,4261,450 of 1,595← PreviousNext →

Comparable venues

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