Foundations of Intelligent Systems: 9th International Symposium, ISMIS'96, Zakopane, Poland, June (9-13), 1996. Proceedings

Front Cover
Springer Science & Business Media, May 15, 1996 - Computers - 664 pages
This book constitutes the refereed proceedings of the 9th International Symposium on Methodologies for Intelligent Systems, ISMIS '96, held in Zakopane, Poland, in June 1996.
The 53 revised full papers presented were selected from a total of 124 submissions; also included are 10 invited papers by leading experts surveying the state of the art in the area. The volume covers the following areas: approximate reasoning, evolutionary computation, intelligent information systems, knowledge representation and integration, learning and knowledge discovery, and AI logics.
 

Contents

Putting Objects to Work on a Massive Scale
1
From Theory to Practice
19
Cooperative Information Systems Engineering
34
Towards a Worldwide Knowledge Base Extended Abstract
50
Data Mining and Knowledge Discovery in Business Databases
56
A First Step
68
Comparison of Conceptual Graphs for Modelling Knowledge of Multiple Experts
78
Semantical Considerations for Knowledge Base Updates
88
KnowledgeBased Fuzzy Neural Networks
346
Coevolutionary Game Theoretic MultiAgent Systems
356
Searching for Features Defined by Hyperplanes
366
Inductive Database Design
376
Enhancing Query Processing of Information Systems
386
Structuring and Retrieval of the Complex Predicate Arguments Proper to the NKRL Conceptual Language
398
From Null Values to Possibility Distributions
408
Modified Component Valuations in Valuation Based Systems as a Way to Optimize Query Processing
418

Partial Evaluation in Constraint Logic Programming
98
The AQ17DCI System for DataDriven Constructive Induction and Its Application to the Analysis of World Economics
108
Induction of Classification Rules from Imperfect Data
118
Induction of Expert System Rules from Databases Based on Rough Set Theory and Resampling Methods
128
Mining Patterns at Each Scale in Massive Data
139
On Evolving Intelligence
149
Intelligent Mutation Rate Control in Canonical Genetic Algorithms
158
A FineGrained Parallel Evolutionary Program for Concept Induction
168
Evolutionary Exploration of Search Spaces
178
One Project Many Directions
189
Operational Semantics and Applications Extended Abstract
202
Automating Proofs of Integrity Constraints in Situation Calculus
212
Towards Programming in Default Logic
223
A Sound and Complete Fuzzy Logic System Using Zadchs Implication Operator
233
On the Formal Specification of Temporal Deontic Constraints
243
Validity Queries and Completeness Queries
253
Explanation for Cooperative Information Systems
264
Toward Intelligent Representation of Database Content
274
Reducing Information Systems with Uncertain Attributes
285
Object and Dependency Oriented Programming in FLO
295
Knowledge Simplification
305
A ModelBased Approach to ConsistencyChecking
315
ResourceBased vs TaskBased Approaches for Scheduling Problems
325
A Fuzzy Behaviorist Approach to SensorBased Robot Control
335
The FRD Approach and a Comparative Study
428
The Application of Rough SetsBased Data Mining Technique to Differential Diagnosis of Meningoenchepahlitis
438
A Rough Set Framework for Data Mining of Prepositional Default Rules
448
An Empirical Study on the Incompetence of Attribute Selection Criteria
458
Locally Finite Proper and Complete Operators for Refining Datalog Programs
468
Forest Fire Management with Negoplan
479
An Architecture for a Deductive Fuzzy Relational Database
491
A MultiStep Process for Discovering Managing and Refining Strong Functional Relations Hidden in Databases
501
An Architecture and Methodology for the Design and Development of Technical Information Systems
511
Explaining Explanation Closure
521
PACLearning Logic Programs under the ClosedWorld Assumption
531
Planning Truth Criteria and the Systematic Approach to Action and Change
541
Automated Inductive Reasoning as a Support of Deductive Reasoning in a UserIndependent Automation of Inductive Theorem Proving
551
Semantic Query Optimization for BottomUp Evaluation
561
An AgentOriented View to Modeling Intelligent Information Systems
572
A MultiLayer Architecture for KnowledgeBased System Synthesis
582
An Architecture for Multiple Reasoning
593
Heterogeneous View Integration via Sketches and Equations
603
A Declarative Language Bias Formalism
613
Knowledge Discovery in Databases and Data Mining
623
Learning with Noise in Engineering Domains
633
Hierarchical Conceptual Clustering in a First Order Representation
643
Rule Discovery from Databases with Decision Matrices
653
Copyright

Other editions - View all

Common terms and phrases