LEADER 07419nam 22006615 450 001 996465621503316 005 20200702133329.0 010 $a3-540-68440-9 024 7 $a10.1007/3-540-61286-6 035 $a(CKB)1000000000234457 035 $a(SSID)ssj0000323267 035 $a(PQKBManifestationID)11242982 035 $a(PQKBTitleCode)TC0000323267 035 $a(PQKBWorkID)10299420 035 $a(PQKB)10054454 035 $a(DE-He213)978-3-540-68440-4 035 $a(PPN)155181297 035 $a(EXLCZ)991000000000234457 100 $a20121227d1996 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFoundations of Intelligent Systems$b[electronic resource] $e9th International Symposium, ISMIS'96, Zakopane, Poland, June (9-13), 1996. Proceedings /$fedited by Zbigniew W. Ras, Maciek Michalewicz 205 $a1st ed. 1996. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1996. 215 $a1 online resource (XI, 668 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v1079 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-61286-6 327 $aPutting objects to work on a massive scale -- Approximate and commonsense reasoning: From theory to practice -- Cooperative information systems engineering -- Towards a Worldwide Knowledge base extended abstract -- Data mining and knowledge discovery in business databases -- Learning composite concepts in description logics: A first step -- Comparison of conceptual graphs for modelling knowledge of multiple experts -- Semantical considerations for knowledge base updates -- Partial evaluation in Constraint Logic Programming -- The AQ17-DCI system for data-driven constructive induction and its application to the analysis of world economics -- Induction of classification rules from imperfect data -- Induction of expert system rules from databases based on rough set theory and Resampling methods -- Mining patterns at each scale in massive data -- On evolving intelligence -- Intelligent mutation rate control in canonical genetic algorithms -- A fine-grained parallel evolutionary program for concept induction -- Evolutionary exploration of search spaces -- Evolutionary computation: One project, many directions -- Signed formula logic programming: Operational semantics and applications (extended abstract) -- Automating proofs of integrity constraints in situation calculus -- Towards programming in default logic -- A sound and complete fuzzy logic system using Zadeh's implication operator -- Meeting the deadline: On the formal specification of temporal deontic constraints -- Validity queries and completeness queries -- Explanation for Cooperative Information Systems -- Toward intelligent representation of database content -- Reducing information systems with uncertain attributes -- Object and dependency oriented programming in FLO -- Knowledge simplification -- A model-based approach to consistency-checking -- Resource-based vs. task-based approaches for scheduling problems -- A Fuzzy Behaviorist Approach to sensor-based robot control -- Knowledge-based fuzzy neural networks -- Coevolutionary game theoretic multi-agent systems -- Searching for features defined by hyperplanes -- Inductive database design -- Enhancing query processing of information systems -- Structuring and retrieval of the complex predicate arguments proper to the NKRL conceptual language -- On the handling of imperfect data in relational database systems from null values to possibility distributions -- Modified component valuations in Valuation Based systems as a way to optimize query processing -- Learning for decision making: The FRD approach and a comparative study -- The application of rough sets-based data mining technique to differential diagnosis of meningoenchepahlitis -- A rough set framework for data mining of prepositional default rules -- An empirical study on the incompetence of attribute selection criteria -- Locally finite, proper and complete operators for refining Datalog programs -- Forest fire management with Negoplan -- An architecture for a deductive Fuzzy Relational Database -- A multi-step process for discovering, managing and refining strong functional relations hidden in databases -- An architecture and methodology for the design and development of Technical Information Systems -- Explaining explanation closure -- PAC-learning logic programs under the closed-world assumption -- Planning, truth criteria and the systematic approach to action and change -- Automated inductive reasoning as a support of deductive reasoning in a user-independent automation of inductive theorem proving -- Semantic query optimization for bottom-up evaluation -- Dynamically changing behavior: An agent-oriented view to modeling intelligent information systems -- A multi-layer architecture for knowledge-based system synthesis -- MuRaLi: An architecture for multiple reasoning -- Heterogeneous view integration via sketches and equations -- DLAB: A declarative language bias formalism -- Knowledge discovery in databases and data mining -- Learning with noise in engineering domains -- Hierarchical conceptual clustering in a first order representation -- Rule discovery from databases with decision matrices. 330 $aThis 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. 410 0$aLecture Notes in Artificial Intelligence ;$v1079 606 $aArtificial intelligence 606 $aMathematical logic 606 $aApplication software 606 $aComputers 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aApplication software. 615 0$aComputers. 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aComputation by Abstract Devices. 676 $a006.3/3 702 $aRas$b Zbigniew W$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMichalewicz$b Maciek$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Symposium on Methodologies for Intelligent Systems 906 $aBOOK 912 $a996465621503316 996 $aFoundations of Intelligent Systems$9772565 997 $aUNISA