+612 9045 4394
 
CHECKOUT
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Methodologies for Intelligent Systems : 8th International Symposium, Ismis '94, Charlotte, North Carolina, Usa, October 16 - 19, 1994. Proceedings - Zbigniew W. Ras

Methodologies for Intelligent Systems

8th International Symposium, Ismis '94, Charlotte, North Carolina, Usa, October 16 - 19, 1994. Proceedings

By: Zbigniew W. Ras (Editor), Maria Zemankova (Editor)

Paperback Published: 28th September 1994
ISBN: 9783540584957
Number Of Pages: 622

Share This Book:

Paperback

$181.29
or 4 easy payments of $45.32 with Learn more
Ships in 15 business days

Earn 363 Qantas Points
on this Book

This volume contains the revised versions of the papers presented at the Eighth International Symposium on Methodologies for Intelligent Systems (ISMIS '94), held in Charlotte, North Carolina, USA in October 1994.
Besides four invited contributions by renowned researchers on key topics, there are 56 full papers carefully selected from more than 120 submissions. The book presents the state of the art for methodologies for intelligent systems; the papers are organized in sections on approximate reasoning, evolutionary computation, intelligent information systems, knowledge representation, methodologies, learning and adaptive systems, and logic for AI.

Distributed earth science validation centers for mission to planet earthp. 1
Causal understanding in reasoning about the worldp. 13
How to make intelligent digital librariesp. 27
Some methodology and representation problems for the semantics of prosaic application domainsp. 39
Recognizing credible experts in inaccurate databasesp. 46
Fuzzy logic or Lukasiewicz logic: a clarificationp. 56
Logic systems for approximate reasoning: via rough sets and topologyp. 65
Signed formulas and fuzzy operator logicsp. 75
Rough mereologyp. 85
A new rule for updating evidencep. 95
A global measure of ambiguity for classificationp. 105
Meta-level control of approximate reasoning: a decision theoretic approachp. 114
Formal models of selection in genetic algorithmsp. 124
Genetic algorithms for the 0/1 knapsack problemp. 134
On the weakening of fuzzy relational queriesp. 144
Transforming queries from a relational schema to an object schema: a prototype based on F-logicp. 154
Knowledge discovery in databases: a rule-based attribute-oriented approachp. 164
Case-based reasoning applied to a force generation decision aidp. 174
A case-based reasoning approach for associative query answeringp. 183
Efficient execution of recursive queries through controlled binding propagationp. 193
Towards a dynamic multi-agent organizationp. 203
parcPlan: a planning architecture with parallel actions, resources and constraintsp. 213
GAITS II: an intelligent system for computer-aided educationp. 223
The GLS discovery system: its goal, architecture and current resultsp. 233
Declarative semantics for contradictory modular logic programsp. 245
LaTeR: a general purpose manager of temporal informationp. 255
Understanding a story with causal relationshipsp. 265
Dealing with qualitative and quantitative temporal information concerning periodic eventsp. 275
Distributed multi-agent probabilistic reasoning with Bayesian networksp. 285
Building bridges between knowledge representation and algebraic specificationp. 295
Turning an action formalism into a planner - Essentials of a case studyp. 305
Towards refinement of definite logic programsp. 315
AMPHION: automatic programming for scientific subroutine librariesp. 326
RUTH: an ILP theory revision systemp. 336
Dynamic reducts as a tool for extracting laws from decisions tablesp. 346
Learning first order theoriesp. 356
Evaluation and enhancement of Bayesian rule-sets in a genetic algorithm learning environment for classification tasksp. 366
Traps and pitfalls when learning logical definitions from relationsp. 376
DBROUGH: a rough set based knowledge discovery systemp. 386
Restructuring rule bases to improve performancep. 396
Learning heuristics for ordering plan goals through static operator analysisp. 406
Learning problem-oriented decision structures from decision rules: the AQDT-2 systemp. 416
Towards full automation of the discovery of heuristics in a nuclear engineering project: integration with a neural information languagep. 427
Concept hierarchies: a restricted form of knowledge derived from regularitiesp. 437
A data-driven approach to feature constructionp. 448
Reasoning about action and time with epistemic conditionalsp. 458
The semantics of propositional contextsp. 468
The generalized logic of only knowing (GOL) that covers the notion of epistemic specificationsp. 478
Reasoning about the safety of information: from logical formalization to operational definitionp. 488
Classical methods in nonmonotonic reasoningp. 500
Partial evaluation and relevance for approximations of the stable semanticsp. 511
Circumscribing features and fluents: a fluent logic for reasoning about action and changep. 521
Paraconsistency and beyond: a new approach to inconsistency handlingp. 531
BDDs and automated deductionp. 541
A possibility-based propositional logic of conditionalsp. 551
Incremental processing of logic database relationsp. 561
On the relationship between assumption-based framework and autoepistemic logicp. 571
Computing queries from prioritized default theoriesp. 584
Beliefs and bilatticesp. 594
Fast termination of the deductive process in resolution proof systems for non-classical logicsp. 604
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540584957
ISBN-10: 3540584951
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 622
Published: 28th September 1994
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 3.23
Weight (kg): 0.87

Earn 363 Qantas Points
on this Book