Cantitate/Preț
Produs
Total produse
Vezi coșul
Methodologies for Intelligent Systems: 6th International Symposium, ISMIS '91, Charlotte, N.C., USA October 16-19, 1991. Proceedings de Zbigniew W. Ras

Methodologies for Intelligent Systems: 6th International Symposium, ISMIS '91, Charlotte, N.C., USA October 16-19, 1991. Proceedings: Lecture Notes in Computer Science, cartea 542

Editat de Zbigniew W. Ras, Maria Zemankova
en Limba Engleză Paperback – 25 sep 1991
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (2) 63639 lei  6-8 săpt.
  Springer Berlin, Heidelberg – 28 sep 1994 63639 lei  6-8 săpt.
  Springer Berlin, Heidelberg – 25 sep 1991 63796 lei  6-8 săpt.

Din seria Lecture Notes in Computer Science

Preț: 63796 lei

Preț vechi: 79745 lei
-20% Nou

Puncte Express: 957
Preț estimativ în valută:
11292€ • 13215$ • 9879£

Carte tipărită la comandă

Livrare economică 23 ianuarie-06 februarie 26

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540545637
ISBN-10: 3540545638
Pagini: 660
Ilustrații: X, 646 p.
Dimensiuni: 155 x 233 x 35 mm
Greutate: 0.92 kg
Ediția:1991
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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 toimprove 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.