Research Catalog

Methodologies for intelligent systems : 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991 : proceedings

Title: Methodologies for intelligent systems : 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991 : proceedings / Z.W. Ras, M. Zemankova, eds.
Author: International Symposium on Methodologies for Intelligent Systems (6th : 1991 : Charlotte, N.C.)
Publication: Berlin ; New York : Springer-Verlag, ©1991.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Use in library	QA76.76.E95 I582 1991	Off-site

Details

Additional Authors

Description

x, 644 pages : illustrations; 24 cm.

Summary

"This volume contains the papers selected for presentation at the Sixth International Symposium on Methodol- ogies for Intelligent Systems held in Charlotte, North Carolina, in October 1991. The symposium was hosted by UNC-Charlotte and sponsored by IBM-Charlotte, ORNL/CESAR and UNC-Charlotte. The papers discuss topics in the following major areas: - Approximate reasoning, - Expert systems, - Intelligent databases, - Knowledge representation, - Learning and adaptive systems, - Logic for artificial intelligence. The goal of the symposium was to provide a platform for a useful exchange and cross-fertilization of ideas between theoreticians and practitioners in these areas."--PUBLISHER'S WEBSITE.

Series Statement

Lecture notes in computer science ; 542. Lecture notes in artificial intelligence

Uniform Title

Lecture notes in computer science ; 542.
Lecture notes in computer science. Lecture notes in artificial intelligence

Subject

Genre/Form

Conference papers and proceedings

Bibliography (note)

Includes bibliographic references.

Credits (note)

"The Symposium was hosted by UNC-Charlotte and sponsored by IBM-Charlotte, ORNL/CESAR and UNC-Charlotte."--Preface.

Contents

An architecture for pragmatic voice interactive systems -- A logic of relative desire -- Methodologies for data/knowledge/information engineering: Will the twain meet? -- Personal learning apprentices -- The roles of artificial intelligence in information systems -- Integrating variables and operations into rule-based forward chaining systems -- The multi-player version of minimax displays game-tree pathology -- Generalization handling in a dynamic case memory -- Knowledge based semantic query optimization -- Combining knowledge bases consisting of first order theories -- User profiles for information retrieval -- An approach to deriving object hierarchies from database schema and contents -- Multilevel interface to a distributed database system -- Efficient evaluation of linear recursions with function symbols in deductive databases -- Synthesizing efficient agents from partial programs -- Knowledge extraction from databases: Design principles of the INLEN system -- Stable model semantics for probabilistic deductive databases -- Towards implementing valuation based systems with relational databases -- On the representation of continuous causal relationships -- Process transition networks: A formal graphical knowledge representation tool -- Using normal deduction graphs in default reasoning -- A model of information sharing for fault-tolerant flexible manufacturing systems -- On interval-based temporal planning: An IQ strategy -- Percept conceptualizations and their knowledge representation schemes -- Combining time points and time intervals in a hybrid knowledge representation formalism -- An analysis of property-flow view vs individual-flow view of inheritance -- Semantic extensions to text retrieval -- Updates with equality: Beyond the Herbrand universe assumption -- Using genetic algorithms to improve the performance of classification rules produced by symbolic inductive methods -- Learning quantitative features in a symbolic environment -- Automatic acquisition of proper noun meanings -- Investigating the relationships between abduction and inverse resolution in propositional calculus -- Explanation-based learning helps acquire knowledge from natural language texts -- Hybrid pattern recognition system capable of self-modification -- Towards an adaptive information retrieval system -- Improving the comprehensibility, accuracy, and generality of reactive plans -- On the unknown attribute values in learning from examples -- A new system for inductive learning in attribute-based spaces -- Generation of classification rules -- Distance metrics for instance-based learning -- A study of crossover operators in genetic programming -- Input understanding as a basis for multistrategy task-adaptive learning -- Automated discovery of empirical equations from data -- Constructing models of hidden structure -- Amalgamated logic programming and non-monotonic reasoning -- WF 3: A semantics for negation in normal disjunctive logic programs -- Representation of mathematical knowledge -- Graded logics: A framework for uncertain and defeasible knowledge -- The strong semantics for logic programs -- Static Parallel Arc Consistency in constraint satisfaction -- Towards a theory of inductive logic programming -- Another view of autoepistemic logic and truth maintenance system -- Dynamic autoepistemic logic -- Nonmonotonic temporal reasoning: Persistence, justified causation and event minimization -- Novelty revisited -- Typicality constants and range defaults: Some pros and cons of a cognitive model of default reasoning -- Resolution and path dissolution in multiple-valued logics -- How well are non-horn clauses handled? -- Fully deadline-coupled planning: One step at a time -- Completeness for propositional logic programs with negation -- Disjunctive logic programs and constraint processing -- Note on resolution circuits -- A semantic analysis of monotonic inheritance with roles and relations.

ISBN

3540545638
9783540545637
0387545638
9780387545639

LCCN

91034533

OCLC

ocm24540978
24540978
SCSB-1928791

Owning Institutions

Princeton University Library