Methodologies for Intelligent Systems [[electronic resource] ] : 7th International Symposium, ISMIS'93, Trondheim, Norway, June 15-18, 1993. Proceedings / / edited by Jan Komorowski, Zbigniew W. Ras |
Edizione | [1st ed. 1993.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
Descrizione fisica | 1 online resource (XIV, 662 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Artificial Intelligence |
ISBN | 3-540-47750-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | On extended disjunctive logic programs -- Model finding strategies in semantically guided instance-based theorem proving -- An expressive three-valued logic with two negations -- Compiling proof search in semantic tableaux -- Short CNF in finitely-valued logics -- Defining variants of default logic: A modal approach -- An admissible heuristic search algorithm -- Building an expert system language interpreter with the rule network technique -- Input-driven control of rule-based expert systems -- Case-based planning for medical diagnosis -- MethoDex: A methodology for Expert Systems development -- Towards intelligent databases -- Combining classification and nonmonotonic inheritance reasoning: A first step -- Mechanical proof systems for logic II, consensus programs and their processing -- The logic of only knowing as a unified framework for non-monotonic reasoning -- Terminological logic involving time and evolution: A preliminary report -- Knowledge management by example -- System reorganization and load balancing of parallel database rule processing -- Using semantic information for processing negation and disjunction in logic programs -- On the interpretation of set-oriented fuzzy quantified queries and their evaluation in a database management system -- Methodologies for knowledge-based software engineering -- Updating logic programs -- Expressing program requirements using refinement lattices -- Finding logical consequences using unskolemization -- Controlled explanation systems -- Signed formulas: A liftable meta-logic for multiple-valued logics -- New design concepts for the FLINS-Fuzzy Lingual System: Text-based and Fuzzy-Centered architectures -- Boolean reasoning for decision rules generation -- Upper and lower entropies of belief functions using compatible probability functions -- Reasoning about higher order uncertainty in possibilistic logic -- Approximation methods for knowledge representation systems -- Modelling of industrial systems -- On the satisfiability of symmetrical constrained satisfaction problems -- A logical reconstruction of constraint relaxation hierarchies in logic programming -- A performance evaluation of backtrack-bounded search methods for N-ary constraint networks -- Finite domain consistency techniques: Their combination and application in computer-aided process planning -- Should decision trees be learned from examples or from decision rules? -- Integrating machine-learning techniques in knowledge-based systems verification -- Automatic theorem generation in plane geometry -- Learning simple recursive theories -- The many faces of inductive logic programming -- CONSENSUS: A method for the development of distributed intelligent systems -- Script and frame: Mixed natural language understanding system with default theory -- Constructive matching methodology: Formally creative or Intelligent inductive theorem proving? -- Representing the knowledge used during the Requirement engineering activity with generic structures -- Development of a programming environment for intelligent robotics -- On the complexity of the instance checking problem in concept languages with existential quantification -- Mutual knowledge -- Expressive extensions to inheritance networks -- A connectionist-symbolic cognitive model -- Multi-Context systems as a tool to model temporal evolution -- Systematic assessment of temporal reasoning methods for use in autonomous agents -- GGD: Graph Grammar Developer for features in CAD/CAM -- A knowledge-Based approach to group analysis in automated manufacturing systems -- CENTER: A system architecture for matching design and manufacturing -- Knowledge-based system integration in a concurrent engineering environment -- A reflective strategic problem solving model -- On the learning of rule uncertainties and their integration into probabilistic knowledge bases -- Recognition of functional dependencies in data -- Rough set learning of preferential attitude in multi-criteria decision making. |
Record Nr. | UNISA-996466085403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Principles of Data Mining and Knowledge Discovery [[electronic resource] ] : 4th European Conference, PKDD, 2000, Lyon, France, September 13-16, 2000 Proceedings / / edited by Djamel A. Zighed, Jan Komorowski, Jan Zytkow |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (XV, 701 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Data structures (Computer science) Computer science Information storage and retrieval Application software Computer science—Mathematics Artificial Intelligence Data Structures and Information Theory Popular Computer Science Information Storage and Retrieval Information Systems Applications (incl. Internet) Symbolic and Algebraic Manipulation |
ISBN | 3-540-45372-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Towards Broader Foundations -- Rules and Trees -- Databases and Reward-Based Learning -- Classication -- Association Rules and Exceptions -- Instance-Based Discovery -- Clustering and Classification -- Time Series -- Posters. |
Record Nr. | UNISA-996466353503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Principles of Data Mining and Knowledge Discovery : 4th European Conference, PKDD, 2000, Lyon, France, September 13-16, 2000 Proceedings / / edited by Djamel A. Zighed, Jan Komorowski, Jan Zytkow |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (XV, 701 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Data structures (Computer science) Computer science Information storage and retrieval Application software Computer science—Mathematics Artificial Intelligence Data Structures and Information Theory Popular Computer Science Information Storage and Retrieval Information Systems Applications (incl. Internet) Symbolic and Algebraic Manipulation |
ISBN | 3-540-45372-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Towards Broader Foundations -- Rules and Trees -- Databases and Reward-Based Learning -- Classication -- Association Rules and Exceptions -- Instance-Based Discovery -- Clustering and Classification -- Time Series -- Posters. |
Record Nr. | UNINA-9910143619003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Principles of Data Mining and Knowledge Discovery [[electronic resource] ] : First European Symposium, PKDD '97, Trondheim, Norway, June 24-27, 1997 Proceedings / / edited by Jan Komorowski, Jan Zytkow |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (XII, 404 p.) |
Disciplina | 006.3/1 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Information storage and retrieval Multimedia information systems Mathematical statistics Information technology Business—Data processing Artificial Intelligence Information Storage and Retrieval Multimedia Information Systems Probability and Statistics in Computer Science IT in Business |
ISBN | 3-540-69236-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Knowledge discovery — A control theory perspective -- Modelling customer retention with Rough Data Models -- Share based measures for itemsets -- Parallel knowledge discovery using domain generalization graphs -- Rough set theory and rule induction techniques for discovery of attribute dependencies in medical information systems -- Logical calculi for knowledge discovery in databases -- Extraction of experts' decision process from clinical databases using rough set model -- Discovering of health risks and case-based forecasting of epidemics in a health surveillance system -- An algorithm for multi-relational discovery of subgroups -- Finding similar time series -- Exploration of document collections with self-organizing maps: A novel approach to similarity representation -- Pattern based browsing in document collections -- Induction of fuzzy characteristic rules -- Regression-based classification methods and their comparison with decision tree algorithms -- Attribute discovery and rough sets -- Generation of rules from incomplete information systems -- Knowledge discovery from software engineering data: Rough set analysis and its interaction with goal-oriented measurement -- Efficient multisplitting on numerical data -- SNOUT: An intelligent assistant for exploratory data analysis -- Exploratory analysis of biochemical processes using hybrid modeling methods -- Using signature files for querying time-series data -- A new and versatile method for association generation -- Bivariate decision trees -- Towards process-oriented tool support for knowledge discovery in databases -- A connectionist approach to structural similarity determination as a basis of clustering, classification and feature detection -- Searching for relational patterns in data -- Finding spatial clusters -- Interactive interpretation of hierarchical clustering -- The principle of transformation between efficiency and effectiveness: Towards a fair evaluation of the cost-effectiveness of KDD techniques -- Recognizing reliability of discovered knowledge -- Clustering techniques in biological sequence analysis -- TOAS intelligence mining; analysis of natural language processing and computational linguistics -- Algorithms for constructing of decision trees -- Mining in the phrasal frontier -- Mining time series using rough sets — A case study -- Neural networks design: Rough set approach to continuous data -- On meta levels of an organized society of KDD agents -- Using neural network to extract knowledge from database -- Induction of strong feature subsets -- Rough sets for data mining and knowledge discovery -- Techniques and applications of KDD -- A tutorial introduction to high performance data mining -- Data mining in the telecommunications industry. |
Record Nr. | UNINA-9910144924903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Principles of Data Mining and Knowledge Discovery [[electronic resource] ] : First European Symposium, PKDD '97, Trondheim, Norway, June 24-27, 1997 Proceedings / / edited by Jan Komorowski, Jan Zytkow |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (XII, 404 p.) |
Disciplina | 006.3/1 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Information storage and retrieval Multimedia information systems Mathematical statistics Information technology Business—Data processing Artificial Intelligence Information Storage and Retrieval Multimedia Information Systems Probability and Statistics in Computer Science IT in Business |
ISBN | 3-540-69236-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Knowledge discovery — A control theory perspective -- Modelling customer retention with Rough Data Models -- Share based measures for itemsets -- Parallel knowledge discovery using domain generalization graphs -- Rough set theory and rule induction techniques for discovery of attribute dependencies in medical information systems -- Logical calculi for knowledge discovery in databases -- Extraction of experts' decision process from clinical databases using rough set model -- Discovering of health risks and case-based forecasting of epidemics in a health surveillance system -- An algorithm for multi-relational discovery of subgroups -- Finding similar time series -- Exploration of document collections with self-organizing maps: A novel approach to similarity representation -- Pattern based browsing in document collections -- Induction of fuzzy characteristic rules -- Regression-based classification methods and their comparison with decision tree algorithms -- Attribute discovery and rough sets -- Generation of rules from incomplete information systems -- Knowledge discovery from software engineering data: Rough set analysis and its interaction with goal-oriented measurement -- Efficient multisplitting on numerical data -- SNOUT: An intelligent assistant for exploratory data analysis -- Exploratory analysis of biochemical processes using hybrid modeling methods -- Using signature files for querying time-series data -- A new and versatile method for association generation -- Bivariate decision trees -- Towards process-oriented tool support for knowledge discovery in databases -- A connectionist approach to structural similarity determination as a basis of clustering, classification and feature detection -- Searching for relational patterns in data -- Finding spatial clusters -- Interactive interpretation of hierarchical clustering -- The principle of transformation between efficiency and effectiveness: Towards a fair evaluation of the cost-effectiveness of KDD techniques -- Recognizing reliability of discovered knowledge -- Clustering techniques in biological sequence analysis -- TOAS intelligence mining; analysis of natural language processing and computational linguistics -- Algorithms for constructing of decision trees -- Mining in the phrasal frontier -- Mining time series using rough sets — A case study -- Neural networks design: Rough set approach to continuous data -- On meta levels of an organized society of KDD agents -- Using neural network to extract knowledge from database -- Induction of strong feature subsets -- Rough sets for data mining and knowledge discovery -- Techniques and applications of KDD -- A tutorial introduction to high performance data mining -- Data mining in the telecommunications industry. |
Record Nr. | UNISA-996465761203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Rough Sets and Current Trends in Computing [[electronic resource] ] : 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings / / edited by Shusaku Tsumoto, Roman Slowiński, Jan Komorowski, Jerzy W. Grzymala-Busse |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XX, 860 p.) |
Disciplina | 004 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Computers
Artificial intelligence Mathematical logic Optical data processing Database management Application software Theory of Computation Artificial Intelligence Mathematical Logic and Formal Languages Image Processing and Computer Vision Database Management Information Systems Applications (incl. Internet) |
ISBN | 3-540-25929-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Plenary Papers -- Theory -- Logic and Rough Sets -- Granular Computing -- Rough and Fuzzy Relations -- Foundations of Data Mining -- Incomplete Information Systems -- Interestingness -- Multiagents and Information Systems -- Fuzzy Logic and Modeling -- Rough Classification -- Rough Sets and Probabilities -- Variable Precision Rough Set Model -- Spatial Reasoning -- Reduction -- Rule Induction -- Rough Sets and Neural Network -- Clustering -- Data Mining -- Image and Signal Recognition -- Information Retrieval -- Decision Support -- Adaptive and Opminization Methods -- Bioinformatics -- Medical Applications -- Bibliography Project of International Rough Set Society. |
Record Nr. | UNISA-996466234203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Rough Sets and Current Trends in Computing : 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings / / edited by Shusaku Tsumoto, Roman Slowiński, Jan Komorowski, Jerzy W. Grzymala-Busse |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XX, 860 p.) |
Disciplina | 004 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Computers
Artificial intelligence Mathematical logic Optical data processing Database management Application software Theory of Computation Artificial Intelligence Mathematical Logic and Formal Languages Image Processing and Computer Vision Database Management Information Systems Applications (incl. Internet) |
ISBN | 3-540-25929-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Plenary Papers -- Theory -- Logic and Rough Sets -- Granular Computing -- Rough and Fuzzy Relations -- Foundations of Data Mining -- Incomplete Information Systems -- Interestingness -- Multiagents and Information Systems -- Fuzzy Logic and Modeling -- Rough Classification -- Rough Sets and Probabilities -- Variable Precision Rough Set Model -- Spatial Reasoning -- Reduction -- Rule Induction -- Rough Sets and Neural Network -- Clustering -- Data Mining -- Image and Signal Recognition -- Information Retrieval -- Decision Support -- Adaptive and Opminization Methods -- Bioinformatics -- Medical Applications -- Bibliography Project of International Rough Set Society. |
Record Nr. | UNINA-9910768467103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|